propella / prolog
- Source
- Commits
- Network (1)
- Issues (0)
- Downloads (0)
- Wiki (1)
- Graphs
-
Branch:
master
a prolog
prolog /
| name | age | message | |
|---|---|---|---|
 |
Prolog.hs | Fri May 01 10:56:20 -0700 2009 | |
| |
README | Fri May 01 10:56:20 -0700 2009 | |
| |
demo.prolog | Tue Apr 28 21:30:52 -0700 2009 | |
| |
note-ja.txt | Fri May 01 14:19:56 -0700 2009 | |
| |
note.html | Fri May 01 14:19:56 -0700 2009 | |
| |
test.hs | Fri May 01 10:56:20 -0700 2009 |
README
A pure prolog interpreter * Getting started $ runghc Prolog.hs or $ hugs Prolog.hs Prolog> main * Command food(apple). -- Add a clause. ?- food(X). -- Query. ?? -- Show all. * Example runghc Prolog.hs < demo.prolog
