GitHub / luciangreen / Combination-Algorithm-Writer-Multiple-Predicates
Writes algorithms with multiple predicates
Stars: 1
Forks: 0
Open issues: 0
License: bsd-3-clause
Language: Prolog
Size: 68.4 KB
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: 7 months ago
Pushed at: 7 months ago
Last synced at: 7 months ago
Topics: algorithm, combination-algorithm-writer, induction, multiple-predicates, swi-prolog, writes-algorithms
Loading...