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
kabaret10...@gmail.com
11/28/18
Strimko Game : B-Prolog to SWI Prolog - problem with function.
Hello there, I'd like to make GUI (with XPCE library) in program made by Hakan Kjellerstrand
unread,
B-Prolog
SWI-Prolog
Strimko
XPCE
game
Strimko Game : B-Prolog to SWI Prolog - problem with function.
Hello there, I'd like to make GUI (with XPCE library) in program made by Hakan Kjellerstrand
11/28/18
Paul Brown
, …
Raivo Laanemets
14
11/21/18
Simple Web, do I use a reply naming convention?
Checked out the blocks update, looks nice! I'll see about updating some of my examples to include
unread,
SWI-Prolog
web
Simple Web, do I use a reply naming convention?
Checked out the blocks update, looks nice! I'll see about updating some of my examples to include
11/21/18
peter....@stud.uni-due.de
,
Anne Ogborn
3
11/11/18
please help with pack install rebuild
On my Windows System eclipse mosquitto was already installed. I installed it on the Linux now too.
unread,
C
SWI-Prolog
git
github
help
pack
please help with pack install rebuild
On my Windows System eclipse mosquitto was already installed. I installed it on the Linux now too.
11/11/18
Ben Engbers
, …
Jan Wielemaker
7
10/18/18
term_to_atom and the '@' sign.
Thanx for the extra information. Cheers, Ben Op donderdag 18 oktober 2018 12:39:05 UTC+2 schreef Jan
unread,
SWI-Prolog
error
xpath
term_to_atom and the '@' sign.
Thanx for the extra information. Cheers, Ben Op donderdag 18 oktober 2018 12:39:05 UTC+2 schreef Jan
10/18/18
peter....@stud.uni-due.de
,
Anne Ogborn
3
10/23/18
pack_install make error
First of all, I would like to thank you for your quick answer. And I can see that there were changes
unread,
C
MQTT
SWI-Prolog
git
help
pack
packs
pack_install make error
First of all, I would like to thank you for your quick answer. And I can see that there were changes
10/23/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
Eric T
, …
Sam Neaves
6
7/16/18
Installation help needed - goal: Reactome Pengine - intermediate goal: SWI-Prolog, Pengines,SWISH
Hi Eric, FYI: Reactome Pengine does not have it's own SWISH interface, the demo uses https://
unread,
Pengines
SWI-Prolog
help
swish
Installation help needed - goal: Reactome Pengine - intermediate goal: SWI-Prolog, Pengines,SWISH
Hi Eric, FYI: Reactome Pengine does not have it's own SWISH interface, the demo uses https://
7/16/18
Anton Kochkov
6/14/18
Working with pipes
Hello everyone! I am writing a pipe interface to radare2 and currently I have this code: :-
unread,
JSON
SWI-Prolog
Working with pipes
Hello everyone! I am writing a pipe interface to radare2 and currently I have this code: :-
6/14/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
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
dagobi
, …
Jan Wielemaker
4
4/22/18
JPL - [FATAL ERROR: at Sun Apr 22 03:02:12 2018 Could not find system resources]
Sweet, unsetting SWI_HOME_DIR or setting it to /home/xyz/swipl/lib/swipl-7.6.4 resolves the problem!!
unread,
JPL
SWI-Prolog
java
JPL - [FATAL ERROR: at Sun Apr 22 03:02:12 2018 Could not find system resources]
Sweet, unsetting SWI_HOME_DIR or setting it to /home/xyz/swipl/lib/swipl-7.6.4 resolves the problem!!
4/22/18
Jamie Moschella
4/8/18
Timed single character input in SWI-Prolog
Hi everyone! I posted this quick question to Stack Overflow about a week ago, but someone suggested
unread,
SWI-Prolog
time
Timed single character input in SWI-Prolog
Hi everyone! I posted this quick question to Stack Overflow about a week ago, but someone suggested
4/8/18
james cane
2/9/18
simple query regarding Prolog.
i"m new to prolog, and I want to know how resource intensive is a prolog program. can i use gpu
unread,
SWI-Prolog
simple query regarding Prolog.
i"m new to prolog, and I want to know how resource intensive is a prolog program. can i use gpu
2/9/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
Navien Aziz
,
Boris Vassilev
2
1/7/18
all_distinct how it work Prolog ?
Hello, It is documented here: http://www.swi-prolog.org/pldoc/man?section=clpfd and in particular,
unread,
SWI-Prolog
all_distinct how it work Prolog ?
Hello, It is documented here: http://www.swi-prolog.org/pldoc/man?section=clpfd and in particular,
1/7/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
Soe Thiha Tun
,
Barb Knox
2
12/12/17
Prolog
On 13/12/2017, at 07:54, Soe Thiha Tun <227201621394...@gmail.com> wrote: Please Help
unread,
SWI-Prolog
Prolog
On 13/12/2017, at 07:54, Soe Thiha Tun <227201621394...@gmail.com> wrote: Please Help
12/12/17
Mostafa Abbas
, …
Moti Ben-Ari
4
7/16/18
Microsoft Visual C++ Runtime error
This problem only occurs in the stable release 7.6.4. It doesn't happen in 7.6.0, which was the
unread,
SWI-Prolog
Microsoft Visual C++ Runtime error
This problem only occurs in the stable release 7.6.4. It doesn't happen in 7.6.0, which was the
7/16/18
Jan Wielemaker
10/12/17
Re: [SWIPL] Compiling problems on macOS
On 11/10/17 21:43, Alessandro Pogliaghi wrote: > Hello everyone, > > I've just started
unread,
SWI-Prolog
compiling
error
files
library
Re: [SWIPL] Compiling problems on macOS
On 11/10/17 21:43, Alessandro Pogliaghi wrote: > Hello everyone, > > I've just started
10/12/17
triệu phan
9/12/17
Print out the result of a SWI-Prolog query from C# ? (1)
Please help! I have a C # program that integrates swi-prolog. I have no problem printing the query
unread,
C
SWI-Prolog
query
Print out the result of a SWI-Prolog query from C# ? (1)
Please help! I have a C # program that integrates swi-prolog. I have no problem printing the query
9/12/17
Andrei Kalachev
,
Jan Wielemaker
2
9/8/17
Could not solve the problem with recursion in replacing arguments in math formula.
On 09/08/2017 01:34 AM, Andrei Kalachev wrote: > Good morning! > I have some problems with
unread,
SWI-Prolog
help
logic
math
recursion
Could not solve the problem with recursion in replacing arguments in math formula.
On 09/08/2017 01:34 AM, Andrei Kalachev wrote: > Good morning! > I have some problems with
9/8/17
Kelly
7/20/17
Search Algorithms
Hello all, I have some search algorithms implemented in a program, which I can not modify. I also
unread,
SWI-Prolog
goal
help
issue
Search Algorithms
Hello all, I have some search algorithms implemented in a program, which I can not modify. I also
7/20/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
Iaroslaw KARDASH
2
3/2/17
Problem on installing swipl-w64-740-rc2 on W10
Dear swipl-egians, I've just set up swipl-w64-740-rc2 for W10. It seems to me that my problem
unread,
SWI-Prolog
problem
windows
Problem on installing swipl-w64-740-rc2 on W10
Dear swipl-egians, I've just set up swipl-w64-740-rc2 for W10. It seems to me that my problem
3/2/17
Douglas Miles
4
2/12/17
Ann: SWI-Prolog Pack that adds a new Global Variable syntax to Prolog
On Sat, Feb 11, 2017 at 10:31 PM, Anne Ogborn <an...@theelginworks.com> wrote: >If I should
unread,
SWI-Prolog
announcement
pack
Ann: SWI-Prolog Pack that adds a new Global Variable syntax to Prolog
On Sat, Feb 11, 2017 at 10:31 PM, Anne Ogborn <an...@theelginworks.com> wrote: >If I should
2/12/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
Douglas Miles
2/8/17
Re: ANN: Implement your own prolog streams with predicate sources and sinks
Hi, ?- see('rtrace_tests.plt'). true. ?- current_input(X),stream_property(X,file_name(Y)). X
unread,
SWI-Prolog
announcement
pack
Re: ANN: Implement your own prolog streams with predicate sources and sinks
Hi, ?- see('rtrace_tests.plt'). true. ?- current_input(X),stream_property(X,file_name(Y)). X
2/8/17
Roberto Paul Malutan
,
Jan Wielemaker
2
2/4/17
Problem configuring JPL on MacBook using Intellij
On 02/04/2017 01:09 AM, Roberto Paul Malutan wrote: > Hi, > I am Roberto and I am trying to use
unread,
JPL
SWI-Prolog
mac
Problem configuring JPL on MacBook using Intellij
On 02/04/2017 01:09 AM, Roberto Paul Malutan wrote: > Hi, > I am Roberto and I am trying to use
2/4/17
Benjamin Mathers
, …
Paul Singleton
5
1/17/17
Cannot run tests on my clone of packages-jpl
Benjamin I cannot find TODOs in any recent Query.java source file, and JPL has handled module-
unread,
JPL
SWI-Prolog
github
java
Cannot run tests on my clone of packages-jpl
Benjamin I cannot find TODOs in any recent Query.java source file, and JPL has handled module-
1/17/17