tag :: prolog | BibSonomy

bookmarks (hide)92
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1Prolog Server Pages
http://www.benjaminjohnston.com.au/template.prolog?t=psp
19 years ago by @fsteeg
show all tags
prolog
prolog
(0)
copydelete
- community post
- history of this post
1CS 4/54201 Artificial Intelligence
http://www.cs.kent.edu/~mscherge/AI/
19 years ago by @naufraghi
show all tags
CLIPS
intelligenza-artificiale
prolog
python
CLIPSintelligenza-artificialeprologpython
(0)
copydelete
- community post
- history of this post
1Christophe Delord Python page
Python parser generator, Logic and PROLOG in Python, Unwanted email filtering
19 years ago by @naufraghi
show all tags
intelligenza-artificiale
logic
parser
prolog
python
spam
intelligenza-artificialelogicparserprologpythonspam
(0)
copydelete
- community post
- history of this post
1König/Seiffert: Prolog für Linguisten (PDF version)
http://www.seiffert-diaz.net/einf-prolog-koenig-seiffert.pdf
20 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
Textbooks
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputingTextbooks
(0)
copydelete
- community post
- history of this post
1K-Prolog: Index
http://prolog.isac.co.jp/index_e.html
23 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
2Logic, Programming and Prolog
http://www.ida.liu.se/~ulfni/lpp/
23 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
3Quick Prolog
http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/quickprolog.html
23 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
1Prolog Programming A First Course
http://www.cbl.leeds.ac.uk/~paul/prologbook/
23 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
2Adventure in Prolog
http://www.amzi.com/AdventureInProlog/advfrtop.htm
23 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
1ISO Prolog Standard
http://frege.als.com/prolog_std.html
29 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
2Prolog Course
http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html
29 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post
1SICStus Prolog User's Manual
http://www.sics.se/ps/sicstus/sicstus_toc.html
29 years ago by @gor
show all tags
Programming
LogicProgramming
system:imported
Prolog
ProgrammingLanguages
imported
Computing
ProgrammingLogicProgrammingsystem:importedPrologProgrammingLanguagesimportedComputing
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
3
4
5
⟩
⟩⟩

publications (hide)66
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1On the Performance of Bytecode Interpreters in Prolog
P. Körner, D. Schneider, and M. Leuschel. Functional and Constraint Logic Programming, page 41--56. Springer, (2021)
a year ago by @gron
show all tags
AST
Bytecode
Interpreters
Performance
Prolog
ASTBytecodeInterpretersPerformanceProlog
(0)
copydeleteadd this publication to your clipboard
2An overview of Ciao and its design philosophy
M. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. Morales, and G. Puebla. CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.
4 years ago by @mkf
show all tags
ciao
prolog
ciaoprolog
(0)
copydeleteadd this publication to your clipboard
2Development of C-Prolog Compiler.
K. Kakizaki, K. Uehara, and J. Toyoda. LP, volume 264 of Lecture Notes in Computer Science, page 126-136. Springer, (1986)
4 years ago by @mkf
show all tags
prolog
prolog_to_c
prologprolog_to_c
(0)
copydeleteadd this publication to your clipboard
2GNU Prolog: Beyond Compiling Prolog to C.
D. Diaz, and P. Codognet. PADL, volume 1753 of Lecture Notes in Computer Science, page 81-92. Springer, (2000)
4 years ago by @mkf
show all tags
gnuprolog
prolog
prolog_to_c
gnuprologprologprolog_to_c
(0)
copydeleteadd this publication to your clipboard
1Prolog by Example
H. Coelho, and J. Cotta. Symbolic Computation – Artificial Intelligence Springer, Berlin, (1988)
5 years ago by @gdmcbain
show all tags
68n15-programming-languages
68n17-logic-programming
prolog
68n15-programming-languages68n17-logic-programmingprolog
(0)
copydeleteadd this publication to your clipboard
2Programming in Prolog
W. Clocksin, and C. Mellish. Springer, Berlin, (1984)
5 years ago by @gdmcbain
show all tags
68n17-logic-programming
68p05-data-structures
prolog
68n17-logic-programming68p05-data-structuresprolog
(0)
copydeleteadd this publication to your clipboard
1Thinking as Computation: A First Course
H. Levesque. MIT Press, Cambridge, MA, (2012)
6 years ago by @flint63
show all tags
01801
103
ai
book
development
knowledge
logic
mitpress
processing
prolog
rules
software
01801103aibookdevelopmentknowledgelogicmitpressprocessingprologrulessoftware
(0)
copydeleteadd this publication to your clipboard
1Fundamentals of Artificial Intelligence: An Advanced Course
W. Bibel, and P. Jorrand (Eds.) Lecture Notes in Computer Science Springer, Berlin, (1986)
6 years ago by @flint63
show all tags
01801
105
springer
book
shelf
ai
knowledge
processing
logic
prolog
01801105springerbookshelfaiknowledgeprocessinglogicprolog
(0)
copydeleteadd this publication to your clipboard
4Prolog and Natural-Language Analysis
F. Pereira, and S. Shieber. CSLI Lecture Notes Center for the Study of Language and Information, Stanford, CA, (1987)
7 years ago by @flint63
show all tags
01624
101
book
shelf
ai
language
processing
logic
prolog
01624101bookshelfailanguageprocessinglogicprolog
(0)
copydeleteadd this publication to your clipboard
1Prolog Programming for Artificial Intelligence
I. Bratko. Pearson Addison-Wesley, Harlow, England, 3 edition, (2000)
7 years ago by @flint63
show all tags
01801
103
book
ai
software
development
logic
rules
prolog
01801103bookaisoftwaredevelopmentlogicrulesprolog
(0)
copydeleteadd this publication to your clipboard
2The Art of Prolog
L. Sterling, and E. Shapiro. MIT Press, Cambridge, MA, (1986)
8 years ago by @machinelearning
show all tags
logic
ml
programming,
prolog
logicmlprogramming,prolog
(0)
copydeleteadd this publication to your clipboard
1Programmiermethoden der Künstlichen Intelligenz, Band 2
H. Stoyan. Studienreihe Informatik Springer, Berlin, (1991)
8 years ago by @flint63
show all tags
01624
105
springer
book
shelf
ai
software
development
lisp
prolog
knowledge
processing
plan
database
01624105springerbookshelfaisoftwaredevelopmentlispprologknowledgeprocessingplandatabase
(0)
copydeleteadd this publication to your clipboard
1Programmiermethoden der Künstlichen Intelligenz, Band 1
H. Stoyan. Studienreihe Informatik Springer, Berlin, (1988)
8 years ago by @flint63
show all tags
01624
105
springer
book
shelf
ai
software
development
lisp
prolog
01624105springerbookshelfaisoftwaredevelopmentlispprolog
(0)
copydeleteadd this publication to your clipboard
3Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
C. Beckstein. Informatik-Fachberichte Springer, Berlin, (1988)
8 years ago by @flint63
show all tags
01624
105
springer
book
shelf
ai
knowledge
processing
prolog
logic
01624105springerbookshelfaiknowledgeprocessingprologlogic
(0)
copydeleteadd this publication to your clipboard
1mcsoto/LogicJS: Logic programming for JavaScript.
mcsoto. (2016)
8 years ago by @maxirichter
show all tags
javascript
logic
programming
prolog
webdevelopment
javascriptlogicprogrammingprologwebdevelopment
(0)
copydeleteadd this publication to your clipboard
3Programming in Prolog
W. Clocksin, and C. Mellish. Springer, Berlin, 5 edition, (2003)
8 years ago by @flint63
show all tags
01624
103
springer
book
ai
software
development
logic
prolog
01624103springerbookaisoftwaredevelopmentlogicprolog
(0)
copydeleteadd this publication to your clipboard
2The Art of Prolog: Advanced Programming Techniques
L. Sterling, and E. Shapiro. MIT Press, Cambridge, MA, 2 edition, (1994)
8 years ago by @flint63
show all tags
01841
101
mitpress
book
shelf
ai
software
development
logic
prolog
01841101mitpressbookshelfaisoftwaredevelopmentlogicprolog
(0)
copydeleteadd this publication to your clipboard
2Towards a Jitting VM for Prolog Execution
C. Bolz, M. Leuschel, and D. Schneider. Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, page 99--108. ACM, (2010)
10 years ago by @gron
show all tags
Interpreter
PartialEvaluation
Prolog
PyPy
VM
InterpreterPartialEvaluationPrologPyPyVM
(0)
copydeleteadd this publication to your clipboard
2CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
R. Alenda, and N. Olivetti. TABLEAUX, page 21-26. (2011)
12 years ago by @ralenda
show all tags
myown
ComparativeSimilarity
Comparative
Similarity
Minspace
LimitAssumption
ConditionalLogic
Conditional
ModalLogic
Modal
Axiomatization
TableauCalculus
Distance
Metric
DistanceSpace
MetricSpace
PreferentialSemantics
Preferential
TheoremProver
Theorem
Prover
Lean
Prolog
myownComparativeSimilarityComparativeSimilarityMinspaceLimitAssumptionConditionalLogicConditionalModalLogicModalAxiomatizationTableauCalculusDistanceMetricDistanceSpaceMetricSpacePreferentialSemanticsPreferentialTheoremProverTheoremProverLeanProlog
(0)
copydeleteadd this publication to your clipboard
1CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
R. Alenda, N. Olivetti, and G. Pozzato. Electronic Notes in Theoretical Computer Science, (2010)
12 years ago by @ralenda
show all tags
myown
ComparativeSimilarity
Comparative
Similarity
Minspace
LimitAssumption
ConditionalLogic
Conditional
ModalLogic
Modal
Axiomatization
TableauCalculus
Distance
Metric
DistanceSpace
MetricSpace
PreferentialSemantics
Preferential
TheoremProver
Theorem
Prover
Lean
Prolog
myownComparativeSimilarityComparativeSimilarityMinspaceLimitAssumptionConditionalLogicConditionalModalLogicModalAxiomatizationTableauCalculusDistanceMetricDistanceSpaceMetricSpacePreferentialSemanticsPreferentialTheoremProverTheoremProverLeanProlog
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

bookmarks (hide)92
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1Prolog Server Pages

1CS 4/54201 Artificial Intelligence

1Christophe Delord Python page

1König/Seiffert: Prolog für Linguisten (PDF version)

1K-Prolog: Index

2Logic, Programming and Prolog

3Quick Prolog

1Prolog Programming A First Course

2Adventure in Prolog

1ISO Prolog Standard

2Prolog Course

1SICStus Prolog User's Manual

publications (hide)66
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1On the Performance of Bytecode Interpreters in Prolog

2An overview of Ciao and its design philosophy

2Development of C-Prolog Compiler.

2GNU Prolog: Beyond Compiling Prolog to C.

1Prolog by Example

2Programming in Prolog

1Thinking as Computation: A First Course

1Fundamentals of Artificial Intelligence: An Advanced Course

4Prolog and Natural-Language Analysis

1Prolog Programming for Artificial Intelligence

2The Art of Prolog

1Programmiermethoden der Künstlichen Intelligenz, Band 2

1Programmiermethoden der Künstlichen Intelligenz, Band 1

3Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz

1mcsoto/LogicJS: Logic programming for JavaScript.

3Programming in Prolog

2The Art of Prolog: Advanced Programming Techniques

2Towards a Jitting VM for Prolog Execution

2CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

1CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity

browse

related tags

similar tags

bookmarks (hide)92 displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)66 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

similar tags

bookmarks (hide)92
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)66
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...