Alex Rivera | Logout

Questions tagged prolog

34 questions

Sort by: Newest Votes Active
16
votes
4
answers

Implementing Prolog in C or C++

c++ prolog compiler-construction
asked 2013-01-25T18:00:45.167
13
votes
5
answers

Should I avoid tail recursion in Prolog and in general?

prolog tail-recursion accumulator tailrecursion-modulo-cons
asked 2012-12-31T02:00:05.623
10
votes
4
answers

I'm curious if Logic Programs can do algebra

prolog algebra declarative clpfd clpq
asked 2012-12-03T19:19:36.307
12
votes
2
answers

Prolog: How to check if a predicate exists?

prolog
asked 2012-10-14T20:22:04.680
9
votes
4
answers

Deleting all occurrences of an element from a list

prolog prolog-dif
asked 2012-08-29T10:00:37.630
10
votes
2
answers

Arenas where core.logic dominates [soft]

clojure prolog logic minikanren
asked 2012-06-02T00:55:25.943
10
votes
5
answers

Simple prolog program. Getting error: >/2: Arguments are not sufficiently instantiated

list prolog clpfd instantiation-error
asked 2012-03-20T00:56:18.200
11
votes
5
answers

How can make array in prolog?

arrays prolog
asked 2012-01-29T07:59:56.823
8
votes
4
answers

Convert peano number s(N) to integer in Prolog

prolog clpfd successor-arithmetics
asked 2012-01-21T16:06:39.360
11
votes
3
answers

Optimizing pathfinding in Constraint Logic Programming with Prolog

prolog path-finding constraint-programming clpfd sicstus-prolog
asked 2011-12-10T18:44:32.413
9
votes
3
answers

Simplified Travelling Salesman in Prolog

prolog backtracking traveling-salesman prolog-dif
asked 2011-11-29T21:57:14.120
78
votes
7
answers

Difference between logic programming and functional programming

haskell functional-programming prolog
asked 2011-11-28T14:48:31.287
25
votes
2
answers

Discontiguous predicate warning from GNU Prolog

prolog
asked 2011-09-13T11:12:11.193
17
votes
2
answers

Exception thrown when trying to use JPL and YAP Prolog in OS X

java prolog jpl yap
asked 2011-07-14T13:41:40.060
40
votes
1
answers

Prolog map procedure that applies predicate to list elements

prolog map-function meta-predicate
asked 2011-07-13T17:23:36.023
10
votes
1
answers

How to query RDF/OWL using SWI-Prolog's Semantic Web Library?

prolog rdf swi-prolog semantic-web owl
asked 2011-06-13T06:11:48.300
10
votes
2
answers

Is Prolog an untyped language? What's the difference between Prolog and dynamically typed languages?

programming-languages types lisp prolog dynamic-typing
asked 2011-06-10T18:02:09.640
12
votes
4
answers

aggregating predicates in SWI-Prolog

prolog swi-prolog
asked 2011-05-08T21:00:09.660
15
votes
4
answers

Prolog SAT Solver

prolog boolean-logic clpb
asked 2011-02-09T23:21:25.497
21
votes
5
answers

Subsets in Prolog

list prolog set subset
asked 2011-02-06T11:01:31.683
22
votes
6
answers

Read a file line by line in Prolog

io prolog swi-prolog dcg
asked 2011-01-26T14:24:45.797
17
votes
5
answers

Which is the best among Visual Prolog, SWI-Prolog, and others?

prolog
asked 2010-12-19T11:49:41.960
34
votes
2
answers

How do I include a .pl file in Prolog?

file include prolog
asked 2010-11-04T14:05:56.523
17
votes
5
answers

Executing prolog code on an iPhone

iphone prolog logic-programming
asked 2010-10-11T10:55:13.537
11
votes
3
answers

Parsing numbers with multiple digits in Prolog

prolog grammar dcg
asked 2010-07-19T09:27:48.113
14
votes
2
answers

Prolog Constants

prolog
asked 2010-06-28T14:47:25.220
9
votes
3
answers

What does [a|b|c] evaluate to in SWI-Prolog?

prolog pipe iso-prolog cons
asked 2010-06-03T15:00:33.013
16
votes
4
answers

Reversible numerical calculations in Prolog

prolog factorial clpfd
asked 2010-05-24T11:46:00.127
27
votes
1
answers

Prolog - ASSERT and RETRACT

prolog prolog-assert
asked 2010-03-12T19:27:01.303
11
votes
2
answers

Reading in multiple words for prolog

input prolog
asked 2010-02-10T12:44:31.417
11
votes
5
answers

Solving a logic puzzle using Prolog

prolog puzzle
asked 2009-12-21T09:16:49.470
59
votes
5
answers

Haskell vs. Prolog comparison

haskell prolog
asked 2009-12-19T12:17:32.243
11
votes
5
answers

Prolog Compiler for .Net

.net prolog
asked 2009-06-27T19:10:34.757
9
votes
3
answers

Breadth-First in Prolog

prolog breadth-first-search logic-programming
asked 2009-04-20T19:02:49.597