Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
SWI-Prolog
Conversations
Labels
Algorithms
Analysis
B-Prolog
C
CFP
CHR
CLP
CORBA
CORS
CPP
CQL
CSharp
Constraint
Cycle
DB
Datahub
Errors
Existential
Expert
Extract
Grant
HTTP
HTTPS
Helmut
Horn
IIS
JPL
JSON
List
LogTalk
MAMP
MATLAB
MQTT
Master
Mathematics
Mono
NET
Negation
ODBC
OSX
PHP
PLO
PWP
Pengines
Permutations
Probabilistic
Prolog
Puzzle
RDBMS
REST
SICStus
SLD-Resolution
SMT
SQL
SSL
SWI-Prolog
SWIPROLOG
Safety
Stipend
Strimko
Synthesis
System
Vamobi
Veith
Verification
Vienna
XPCE
YAP-Prolog
Yosemite
aggregate
ai
announcement
aroute
artificial
attribute
autobayes
bagof
basic
basics
beginner
binary-tree
block
bugzilla
cidr
clojure
clpb
clpfd
clpr
commandline
compiling
condition
confused
conjunction
constraints
crypt
cryptography
cut
daemon
database
date
dcg
debug
debugging
dec-10
deployment
dict
disjunction
disk
division
doc
documentation
dynamic
editor
elements
error
escaping
excel
excel-vba
executiontime
exshell
fedora
fileio
files
findall
finding
flag
foreign
foreign_library
freeze
game
ggp
git
github
goal
graph
gtrace
hackst8r
help
hide
huge
image
image_processing
integer
intelligence
interface
issue
java
javascript
jvm
labeling
lanugage
learning
lib
library
link
linux
lists
locale
logic
mac
markdown
math
md5
member
memory
mime
multi-threaded
multiple
nan
natural
natural-lanugage
networking
newbie
nlp
noob
not
nth0
nuget
numerics
operators
options
output
pack
package
packs
parser
part
partitioning
path
pceemacs
pdp-10
performance
permissions
persistent
phrase_file
pldoc
plopengl
plunit
polynomial
porlog
predicates
prediction
prime
problem
processing
proxy
publication
python
quantifier
query
quoting
r_data_frame
random
rdf
read
recoverable
recursion
recursivity
reporting
request
rounding
rserve
rules
save
serializable
set
sockets
sorting
sparql
spurious
sql-server
state
statistics
str8ts
streams
string
sublist
subset
swipl-ld
swish
tabling
tag
takeout
takuzu
teaching
text
time
tops-10
trace
trees
ubuntu
unicode
universal
urgent
variable
variables
vba
version
visualization
web
windows
windows10
write
xml
xpath
강남건마
강남립카페
강남오피
강남핸플
강남휴게텔
논현건마
논현휴게텔
대전오피
서울휴게텔
천안건마
청주건마
About
SWI-Prolog
Contact owners and managers
1–10 of 2766
This is the
old
SWI-Prolog forum and mailing list. Community discussion has been migrated to Discourse.
Visit the new forum at
https://swi-prolog.discourse.
group/
See
http://www.swi-prolog.org/
Mailinglist.html
for details
This forum will be closed in the near future. Please do not use it any more.
Mark all as read
Report group
0 selected
Markus Triska
, …
cc.carlo.cap
227
10/4/18
Attributed Variables: An Introduction
Albeit not related to this thread, I'd like to 'reply' with a pearl - of different color
unread,
constraints
interface
teaching
Attributed Variables: An Introduction
Albeit not related to this thread, I'd like to 'reply' with a pearl - of different color
10/4/18
Felix Schmidt
,
Jan Wielemaker
2
5/10/17
Prolog CIDR IP Matching
On 05/10/2017 03:54 PM, Felix Schmidt wrote: > Hi, > > I'm new to prolog. I have a
unread,
Prolog
cidr
constraints
networking
Prolog CIDR IP Matching
On 05/10/2017 03:54 PM, Felix Schmidt wrote: > Hi, > > I'm new to prolog. I have a
5/10/17
Markus Triska
, …
Jan Burse
12
4/4/16
Combining purity with determinism and type checks in CLP(FD) programs
Hi, As far as I see it, reification always tries to stick with the inferential capabilities of the
unread,
clpfd
constraints
Combining purity with determinism and type checks in CLP(FD) programs
Hi, As far as I see it, reification always tries to stick with the inferential capabilities of the
4/4/16
Markus Triska
, …
Kuniaki Mukai
48
3/31/16
Very nice CLP(FD) article by m00nlight
Just a comment. Although Peano arithmetic is undecidable, Presburger arithmetic, which drops
unread,
clpfd
constraints
Very nice CLP(FD) article by m00nlight
Just a comment. Although Peano arithmetic is undecidable, Presburger arithmetic, which drops
3/31/16
Markus Triska
, …
Boris Vassilev
4
3/8/16
CLP(B): New publication about SWI-Prolog
Dear Wouter, Boris, yes, that's the one! Here is the link to the conference, Symposium on
unread,
clpb
constraints
publication
CLP(B): New publication about SWI-Prolog
Dear Wouter, Boris, yes, that's the one! Here is the link to the conference, Symposium on
3/8/16
Markus Triska
12/16/15
CLP(B): Examples and lecture material
Hi all, I have uploaded a set of CLP(B) examples at: https://github.com/triska/clpb Also included is
unread,
clpb
constraints
teaching
CLP(B): Examples and lecture material
Hi all, I have uploaded a set of CLP(B) examples at: https://github.com/triska/clpb Also included is
12/16/15
Markus Triska
, …
Jan Wielemaker
25
11/16/15
CLP(FD) examples and concepts
On 11/16/2015 05:22 PM, Mauro DiNuzzo wrote: > Anyway, Jan argued that delayed calls would make
unread,
clpfd
constraints
teaching
CLP(FD) examples and concepts
On 11/16/2015 05:22 PM, Mauro DiNuzzo wrote: > Anyway, Jan argued that delayed calls would make
11/16/15
Jörg
,
Jan Wielemaker
3
2/20/15
labeling run out of stack
list for constraint 1 and 2: <-- all different, ins 1..9 [_G1610,_G1619,4,_G1655,_G1664,7] white
unread,
Prolog
constraints
str8ts
labeling run out of stack
list for constraint 1 and 2: <-- all different, ins 1..9 [_G1610,_G1619,4,_G1655,_G1664,7] white
2/20/15
Jörg
2/16/15
solve str8ts with prolog (puzzle like sudoku)
Hi, i want to solve str8ts with prolog. problem is: first i set the constraints for all rows(fiels
unread,
constraints
labeling
str8ts
solve str8ts with prolog (puzzle like sudoku)
Hi, i want to solve str8ts with prolog. problem is: first i set the constraints for all rows(fiels
2/16/15
PF
,
Kilian Evang
2
12/13/14
Prolog Restrictions -> Solving Puzzle Grid
Hi PF, On 12/12/14 00:55, PF wrote: > I'm not getting any solution on the problem. What am I
unread,
Prolog
SWI-Prolog
constraints
Prolog Restrictions -> Solving Puzzle Grid
Hi PF, On 12/12/14 00:55, PF wrote: > I'm not getting any solution on the problem. What am I
12/13/14