Question

Prolog binding arguments

score 4.1k · Answer 1 · 2015-06-10 14:07:07

4.1k

Views

Prolog binding arguments

Published on 10 June 2015 at 14:07

score 203 · Answer 2 · 2016-12-16 12:27:52

203

Views

How to set domain of pair variable in CSP in Sicstus Prolog

Published on 16 December 2016 at 12:27

score 330 · Answer 3 · 2014-11-14 10:15:26

330

Views

Why do we use '!' in prolog

Published on 14 November 2014 at 10:15

score 1.8k · Answer 4 · 2014-11-17 02:53:17

1.8k

Views

Determining if graph is connected in prolog

Published on 17 November 2014 at 02:53

score 1.9k · Answer 5 · 2014-11-18 09:26:39

1.9k

Views

Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

Published on 18 November 2014 at 09:26

score 546 · Answer 6 · 2014-11-16 21:35:33

546

Views

Prolog, Determine if graph is acyclic

Published on 16 November 2014 at 21:35

score 5k · Answer 7 · 2014-11-15 13:04:09

5k

Views

Definition of Reflexive Transitive Closure

Published on 15 November 2014 at 13:04

score 1.6k · Answer 8 · 2014-12-05 13:34:00

1.6k

Views

Collect all "minimum" solutions from a predicate

Published on 05 December 2014 at 13:34

score 97 · Answer 9 · 2021-05-14 20:47:53

97

Views

Meta-predicate that receives a list of goals as input

Published on 14 May 2021 at 20:47

score 1.9k · Answer 10 · 2014-06-10 08:59:21

1.9k

Views

How can I use a functor name like a variable in Prolog?

Published on 10 June 2014 at 08:59

score 695 · Answer 11 · 2021-01-24 21:01:45

695

Views

Lambdas in Prolog?

Published on 24 January 2021 at 21:01

score 1.4k · Answer 12 · 2017-05-24 17:00:59

1.4k

Views

Calculating arithmetically in Prolog on lists

Published on 24 May 2017 at 17:00

score 187 · Answer 13 · 2015-08-21 13:10:15

187

Views

Module expansion of goals passed to library meta-predicates

Published on 21 August 2015 at 13:10

score 800 · Answer 14 · 2016-01-24 21:15:49

800

Views

Prolog Higher-order reduce predicate

Published on 24 January 2016 at 21:15

score 72 · Answer 15 · 2016-02-08 18:37:14

72

Views

Remove item from multiple lists

Published on 08 February 2016 at 18:37

score 151 · Answer 16 · 2018-07-27 17:30:22

151

Views

Custom DCG Operators

Published on 27 July 2018 at 17:30

score 422 · Answer 17 · 2020-03-29 00:10:58

422

Views

What do the numeric arguments for meta_predicate mean in SWI-Prolog?

Published on 29 March 2020 at 00:10

score 610 · Answer 18 · 2010-08-16 06:16:31

610

Views

Reverse lookup in Prolog? (how do I find everything that is true about X?)

Published on 16 August 2010 at 06:16

score 4.2k · Answer 19 · 2015-05-19 14:24:08

4.2k

Views

Definition of a path/trail/walk

Published on 19 May 2015 at 14:24

score 152 · Answer 20 · 2019-12-20 14:24:50

152

Views

Prolog check for duplicates in answer to query (easy way?)

Published on 20 December 2019 at 14:24

List Question

Prolog binding arguments

How to set domain of pair variable in CSP in Sicstus Prolog

Why do we use '!' in prolog

Determining if graph is connected in prolog

Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

Prolog, Determine if graph is acyclic

Definition of Reflexive Transitive Closure

Collect all "minimum" solutions from a predicate

Meta-predicate that receives a list of goals as input

How can I use a functor name like a variable in Prolog?

Lambdas in Prolog?

Calculating arithmetically in Prolog on lists

Module expansion of goals passed to library meta-predicates

Prolog Higher-order reduce predicate

Remove item from multiple lists

Custom DCG Operators

What do the numeric arguments for meta_predicate mean in SWI-Prolog?

Reverse lookup in Prolog? (how do I find everything that is true about X?)

Definition of a path/trail/walk

Prolog check for duplicates in answer to query (easy way?)

Trending Questions

Popular # Hahtags

Popular Questions