PrologHub
Archive
Tag: logtalk
[2021-12-18]
Modules are objects
[2021-12-18]
Predicate semantics
[2019-10-02]
Easily QuickCheck your predicates