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–30 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
Tharushi Geethma
, …
Krishnan Govindraj
5
1/6/19
Prolog Code for 8-puzzle Problem using BFS(breath first search)
In our course, we were thought to think of search as an algorithm involving a fringe and a successor
unread,
Prolog
Puzzle
ai
artificial
intelligence
logic
Prolog Code for 8-puzzle Problem using BFS(breath first search)
In our course, we were thought to think of search as an algorithm involving a fringe and a successor
1/6/19
Elena Pereira
,
Jan Wielemaker
4
12/21/18
DEC-10 Prolog binary or source available?
I have found a binary for the DEC10 prolog interpreter! The binary was given to me privately, however
unread,
Prolog
dec-10
pdp-10
tops-10
DEC-10 Prolog binary or source available?
I have found a binary for the DEC10 prolog interpreter! The binary was given to me privately, however
12/21/18
Travis LaVallee
8/28/18
Expert system help
Hey all, I am trying to make a knowledge base for an expert system called Exshell. when the expert
unread,
Prolog
SWI-Prolog
exshell
noob
Expert system help
Hey all, I am trying to make a knowledge base for an expert system called Exshell. when the expert
8/28/18
Alin Roman
, …
Martin
3
7/2/18
Path Finding
First, have you tried if actually find the connection from augsburg to berlin? Try the query isPath(
unread,
Prolog
finding
path
Path Finding
First, have you tried if actually find the connection from augsburg to berlin? Try the query isPath(
7/2/18
سیدمهدی سیدحسینی
,
Barb Knox
2
6/5/18
Explain the code
> On 5/06/2018, at 23:08, سیدمهدی سیدحسینی wrote: > > hello , i try to solve a Practice (
unread,
Prolog
SWI-Prolog
SWIPROLOG
query
Explain the code
> On 5/06/2018, at 23:08, سیدمهدی سیدحسینی wrote: > > hello , i try to solve a Practice (
6/5/18
Magician Artemka
,
Paulo Moura
2
5/25/18
Problems with comparison in prolog's rules
Prolog is not a functional language. Thus, the argument C > 10000 is not evaluated prior to
unread,
Prolog
predicates
rules
Problems with comparison in prolog's rules
Prolog is not a functional language. Thus, the argument C > 10000 is not evaluated prior to
5/25/18
Hans
,
Peter Ludemann
2
5/20/18
Prolog matching
You might want to use DCGs for this. There are a number of tutorials on the web, plus most Prolog
unread,
Prolog
SWI-Prolog
member
problem
Prolog matching
You might want to use DCGs for this. There are a number of tutorials on the web, plus most Prolog
5/20/18
Hans
, …
Michael BEN YOSEF
3
5/19/18
Problem bei Prolog mit Übersetzungen
On Saturday, 19 May 2018 12:46:20 UTC+2, Hans wrote: Mein Problem ist, dass ich bei "satz([die,
unread,
Prolog
SWI-Prolog
problem
Problem bei Prolog mit Übersetzungen
On Saturday, 19 May 2018 12:46:20 UTC+2, Hans wrote: Mein Problem ist, dass ich bei "satz([die,
5/19/18
Chip Nowacek
3/29/18
coaching app/structure
Hi. New here. Please let me know if/when I breach protocol. While my formal training is in IT (DB
unread,
Prolog
coaching app/structure
Hi. New here. Please let me know if/when I breach protocol. While my formal training is in IT (DB
3/29/18
i.quot...@gmail.com
,
Boris Vassilev
3
2/17/18
Basic Question
Hello Boris, I could use anything right now, thank you. Τη Σάββατο, 17 Φεβρουαρίου 2018 - 2:07:23 μ.μ
unread,
Prolog
condition
read
write
Basic Question
Hello Boris, I could use anything right now, thank you. Τη Σάββατο, 17 Φεβρουαρίου 2018 - 2:07:23 μ.μ
2/17/18
Giuseppe Giubaldo
, …
Jan Wielemaker
3
1/9/18
json_get predicate
On 09/01/18 11:20, Carlo Capelli wrote: > Hi Giuseppe > > Your example seems flawed to me,
unread,
JSON
Prolog
SWI-Prolog
parser
json_get predicate
On 09/01/18 11:20, Carlo Capelli wrote: > Hi Giuseppe > > Your example seems flawed to me,
1/9/18
jwfor...@gmail.com
, …
norbert...@gmail.com
3
12/14/17
Attempting to use a Context Free Grammar in order to produce a parser/expert system
On Thursday, 14 December 2017 08:15:39 UTC+1, barbara wrote: It is in general not easy to map a
unread,
Expert
Prolog
SWI-Prolog
System
parser
Attempting to use a Context Free Grammar in order to produce a parser/expert system
On Thursday, 14 December 2017 08:15:39 UTC+1, barbara wrote: It is in general not easy to map a
12/14/17
Joseph Haley
, …
Barb Knox
4
11/25/17
Prolog Permutations
Thank you very much, between here and StackExchange I was able to figure it out. I made a seperate
unread,
Algorithms
Permutations
Prolog
Prolog Permutations
Thank you very much, between here and StackExchange I was able to figure it out. I made a seperate
11/25/17
sasa...@msn.com
,
Barb Knox
2
11/23/17
Homework
On 24/11/2017, at 05:08, sasa...@msn.com wrote: Hi guys :) I am totally new to prolog and therefor
unread,
Prolog
help
logic
newbie
not
problem
state
write
Homework
On 24/11/2017, at 05:08, sasa...@msn.com wrote: Hi guys :) I am totally new to prolog and therefor
11/23/17
Muler
,
Anne Ogborn
2
10/18/17
how to use dual knoweldge base for single query?
Some alternatives: 1. add the reifying 'knower' as an argument believes(sally, loves(bob, sue
unread,
Prolog
github
how to use dual knoweldge base for single query?
Some alternatives: 1. add the reifying 'knower' as an argument believes(sally, loves(bob, sue
10/18/17
Juan
, …
Boris Vassilev
3
6/10/17
Prolog and facts database
Hello Juan, for the second time I fall victim to [Cunningham's Law](https://meta.wikimedia.org/
unread,
Prolog
binary-tree
database
trees
Prolog and facts database
Hello Juan, for the second time I fall victim to [Cunningham's Law](https://meta.wikimedia.org/
6/10/17
Mr Axolotl
,
Feliks Kluzniak
3
6/7/17
Using Write in ProLog
On Wednesday, June 7, 2017 at 9:58:28 PM UTC+10, Feliks Kluzniak wrote: Hej, Your little program
unread,
Prolog
basic
basics
help
learning
newbie
write
Using Write in ProLog
On Wednesday, June 7, 2017 at 9:58:28 PM UTC+10, Feliks Kluzniak wrote: Hej, Your little program
6/7/17
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
B
,
Chris Albertson
4
4/14/17
installing older version of Prolog on mac OS X
when I install it, do you know how can I set system variable for it? On Thursday, 13 April 2017 22:28
unread,
Prolog
mac
version
installing older version of Prolog on mac OS X
when I install it, do you know how can I set system variable for it? On Thursday, 13 April 2017 22:28
4/14/17
B
,
Jan Wielemaker
4
4/14/17
libpl (shared) not found
I want to use this tool: https://github.com/levilucio/SyVOLT It requires DSLTrans which is requires
unread,
Prolog
SWI-Prolog
mac
libpl (shared) not found
I want to use this tool: https://github.com/levilucio/SyVOLT It requires DSLTrans which is requires
4/14/17
PickyMcCritical
, …
Samer Abdallah
9
2/13/17
Holy Sweet Jesus I'm Confused
On 12 Feb 2017, at 17:18, Ronerycoder <roner...@gluino.name> wrote: > blasphemy
unread,
Prolog
SWI-Prolog
beginner
files
help
image
issue
predicates
processing
Holy Sweet Jesus I'm Confused
On 12 Feb 2017, at 17:18, Ronerycoder <roner...@gluino.name> wrote: > blasphemy
2/13/17
Steve Prior
, …
Jan Wielemaker
13
6/23/17
Example of request/response pattern with SWI and MQTT?
On 06/23/2017 06:28 AM, Steve Prior wrote: > > > Just replace that by PL_get_nchars() and
unread,
MQTT
Prolog
multi-threaded
Example of request/response pattern with SWI and MQTT?
On 06/23/2017 06:28 AM, Steve Prior wrote: > > > Just replace that by PL_get_nchars() and
6/23/17
Anton Danilov
, …
Sergio Castro
11
2/4/17
Logtalk (Prolog)/Java debugger
---------- Forwarded message ---------- From: Anton Danilov <anton....@gmail.com> Date: 4
unread,
LogTalk
Prolog
debug
java
Logtalk (Prolog)/Java debugger
---------- Forwarded message ---------- From: Anton Danilov <anton....@gmail.com> Date: 4
2/4/17
Lawrence Bottorff
,
Martin Sondergaard
3
1/27/17
Beginner's problem with ;
Lawrence Bottorff wrote: but when I enter ; and return it gives this X = mia ; ; X = jody . ?- In
unread,
Prolog
beginner
Beginner's problem with ;
Lawrence Bottorff wrote: but when I enter ; and return it gives this X = mia ; ; X = jody . ?- In
1/27/17
bartek grabc
,
Barb Knox
2
1/26/17
Prolog Rule
On 25 Jan 2017, at 05:10, bartek grabc <supersa...@gmail.com> wrote: Hi i have to make a
unread,
List
Prolog
database
debugging
error
query
Prolog Rule
On 25 Jan 2017, at 05:10, bartek grabc <supersa...@gmail.com> wrote: Hi i have to make a
1/26/17
chandana nalin
,
Barb Knox
3
1/25/17
How to write Prolog prgrame ?
On 24 Jan 2017, at 07:45, Barb Knox <Bar...@LivingHistory.co.uk> wrote: On 24 Jan 2017, at 05:
unread,
Prolog
How to write Prolog prgrame ?
On 24 Jan 2017, at 07:45, Barb Knox <Bar...@LivingHistory.co.uk> wrote: On 24 Jan 2017, at 05:
1/25/17
Rafael Santos
,
Barb Knox
2
12/21/16
PROLOG - Brothers exercise
On 20 Dec 2016, at 09:00, Rafael Santos <jorge.raf...@gmail.com> wrote: womam(a). womam(
unread,
Prolog
SWI-Prolog
cut
PROLOG - Brothers exercise
On 20 Dec 2016, at 09:00, Rafael Santos <jorge.raf...@gmail.com> wrote: womam(a). womam(
12/21/16
sovereig...@outlook.com
,
Feliks Kluzniak
2
11/13/16
two different approaches of defining 'member' predicate
Yes, for example, if the second argument is an uninstantiated variable. In case 2 you will
unread,
Prolog
member
two different approaches of defining 'member' predicate
Yes, for example, if the second argument is an uninstantiated variable. In case 2 you will
11/13/16
Maxy Mustermann
,
Edison Mera Menendez
2
11/1/16
Math problem. How to setup the rules
Look at this 10-lines program: pos(1). pos(2). sol(N, L) :- between(1, N, I), length(L, I), maplist(
unread,
Prolog
SWIPROLOG
math
problem
rules
Math problem. How to setup the rules
Look at this 10-lines program: pos(1). pos(2). sol(N, L) :- between(1, N, I), length(L, I), maplist(
11/1/16
Pieter Stroobants
, …
Jan Wielemaker
10
7/30/16
ODBC error S1003 when querying a date type
Thanks Keri! Merged and pushed. The binary for Windows should become available tomorrow in the daily
unread,
ODBC
Prolog
SQL
query
ODBC error S1003 when querying a date type
Thanks Keri! Merged and pushed. The binary for Windows should become available tomorrow in the daily
7/30/16