Showing content from http://dhconnelly.github.io/paip-python/docs/paip/examples/prolog/pair.prolog below:
# defining lists in prolog <- first(?x, pair(?x, ?more)) <- rest(?more, pair(?x, ?more)) <- member(?x, pair(?x, ?more)) <- member(?x, pair(?y, ?more)) :- member(?x, ?more) <- length(nil, 0) <- length(pair(?x, nil), inc(0)) <- length(pair(?first, ?rest), inc(?n)) :- length(?rest, ?n)
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