Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in meta-predicate

What kind of meta argument is the first argument of predicate_property/2?

module prolog iso-prolog meta-predicate

Can I prepend the argument list in call/2?

prolog meta-predicate

is it possible to use maplist/3 with 'anonymous' predicate?

lambda prolog meta-predicate

Definition of Reflexive Transitive Closure

prolog prolog-toplevel transitive-closure meta-predicate

Why doesn't maplist/3 use a template?

prolog meta-predicate

Prolog Higher-order reduce predicate

prolog higher-order-functions meta-predicate

Module expansion of goals passed to library meta-predicates

module prolog meta-predicate

Custom DCG Operators

prolog dcg meta-predicate

Lambdas in Prolog?

lambda prolog meta-predicate

What modules does an unqualified assert add a term to?

module swi-prolog meta-predicate

Are HiLog terms still useful in modern Prolog?

prolog iso-prolog xsb meta-predicate

Pairwise relation over list

prolog terminology meta-predicate

Prolog GNU - Univ operator? Explanation of it

prolog operator-keyword backtracking meta-predicate

Prolog: Filtering a list?

list filter prolog meta-predicate

Prolog map procedure that applies predicate to list elements

prolog map-function meta-predicate

Definition of a path/trail/walk

prolog graph-theory transitive-closure meta-predicate