Description:
Discussion about PROLOG.
|
|
|
comp.lang.prolog Frequently Asked Questions
|
| |
Frequently Asked Questions - comp.lang.prolog
Last-modified: 2011-01-16
Last-changes: Update link to WAM Tutorial Reconstruction. Carlo
Zanziba.
Markus Triska (Mar. 2 2007 - ... )
Remko Troncon (Jan. 6 2002 - Mar. 2 2007)
Dirk-Jan Faber (Feb. 1 1999 - Jan. 6 2002)... more »
|
|
|
CLP Nominal Context Operator (#:)/2
|
| |
Dear All,
Are there some constraint logic programming
systems that have a nominal context operator?
It doesn't really work when constraint variables
are logical variables, it rather works when they
are atoms. It then reads:
To solve 'xyz' #: C
solve C with prefixing all constraint... more »
|
|
|
Sampling algorithm
|
| |
Hello, Prolog world!
By using CLP one can easily obtain the domain of the variables.
The exact solutions can be obtained by the labeling process. However,
if there is a large number of variables, this labeling process can be
very time-consuming.
I am wondering if there is some sampling algorithm (preferably in... more »
|
|
|
C++ Libraries for CLP, CLPFD, CLPQR
|
| |
Hi,
I am creating my own implementation for Prolog in C++.
I wanted to incorporate CLP, CLPFD, CLPQR libraries in it and was
wondering where I can get it from.
Ofcourse I can create a bi-direction interface between SWI-Prolog and
my code and compile it into executable code, but I was wondering if... more »
|
|
|
CICLOPS 2012 - Call for Papers
|
| |
------------------------------ ------------------------------ --
CICLOPS 2012 - Call for Papers
12th International Colloquium on Implementation of
Constraint and LOgic Programming Systems
ICLP 2012 Workshop
4th September 2012... more »
|
|
|
comp.lang.prolog Frequently Asked Questions
|
| |
Frequently Asked Questions - comp.lang.prolog
Last-modified: 2011-01-16
Last-changes: Update link to WAM Tutorial Reconstruction. Carlo
Zanziba.
Markus Triska (Mar. 2 2007 - ... )
Remko Troncon (Jan. 6 2002 - Mar. 2 2007)
Dirk-Jan Faber (Feb. 1 1999 - Jan. 6 2002)... more »
|
|
|
count inferences and write them to stdout
|
| |
Hello,
I tried to time programs, i.e. to count the number of logical
inferences in Prolog scripts. I didn't manage to use a timing
predicate in Yap at all (use_module(library(swi)) only produced error
messages.). In Swi, there is the predicate time/1, but it doesn't seem
to be usable inside scripts.... more »
|
|
|
Creating an interactive session predicate e.g. chatbot
|
| |
Hi, I'm looking for information on how to implement a chatbot in
Prolog--I know I should define a predicate that has as goals repeat and
something that will allow the predicate to be fulfilled, but I don't
know how to implement something that would take input, process it, and
then ask for some more input.... more »
|
|
|
DES 3.0 Released
|
| |
[Apologies for multiple receptions]
Hello.
This is a mail just for informing that the new release
Datalog Educational System version 3.0
[link]
has been launched on May, 10th, 2012, and ported to
Ciao Prolog 1.14.2
GNU Prolog 1.4.0
SICStus Prolog 4.2.1
SWI-Prolog 6.0.2... more »
|
|
|
