def main():
x = logic.Var('x')
y = logic.Var('y')
a = logic.Var('a')
nil = logic.Atom('nil')
more = logic.Var('more')
member_first = logic.Clause(
logic.Relation('member', (x, logic.Relation('pair', (x, more)))))
member_last = logic.Clause(
logic.Relation('member', (x, logic.Relation('pair', (y, x)))))
member_rest = logic.Clause(
logic.Relation('member', (x, logic.Relation('pair', (y, more)))),
[logic.Relation('member', (x, more))])
db = {}
logic.store(db, member_first)
logic.store(db, member_last)
logic.store(db, member_rest)
list = logic.Relation(
'pair', (logic.Atom('foo'), logic.Relation(
'pair', (logic.Atom('bar'), logic.Relation(
'pair', (logic.Atom('baz'), nil))))))
print 'Database:'
print db
print
query = logic.Relation('member', (x, list))
print 'Query:', query
print
logic.prolog_prove([query], db)
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