help='''This interpreter provides basic functionality only--the subset of Prolog known
as "Pure Prolog". That is, only clauses are supported--no lists, user-defined
procedures, or arithmetic evaluation.
The REPL allows both rule/fact definition as well as goal proving. The syntax
is as follows:
Defining rules and facts:
<- this(is, ?a) :- simple(?rule), for(?demonstration, only)
<- coprime(14, 15)
Proving goals:
?- coprime(?x, 9)
For some example rule databases, see `paip/examples/prolog`. They can be loaded
with the `--db` option.
'''
argparser = argparse.ArgumentParser(description='A Prolog implementation.',
formatter_class=argparse.RawDescriptionHelpFormatter,
epilog=help)
argparser.add_argument('--logging',
action='store_true',
help='Enable logging',
dest='log')
argparser.add_argument('--db',
type=file,
help='Database file',
dest='db_file')
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4