tag :: prolog | BibSonomy

Lesezeichen (verstecken)92
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1using_prolog_as_the_ast
https://marcellerusu.com/using_prolog_as_the_ast.html
vor 6 Monaten von @bshanks
alle anzeigen
ast
prolog
astprolog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Thinking as Computation - Google Search
https://www.google.com/search?client=firefox-b-1-d&q=Thinking+as+Computation
vor 2 Jahren von @bshanks
alle anzeigen
prolog
prolog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Htmlq: like jq, but for html | Hacker News
https://news.ycombinator.com/item?id=28441880
vor 3 Jahren von @bshanks
alle anzeigen
html
jq
prolog
python
htmljqprologpython
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1The GNU Prolog web site
http://gprolog.inria.fr/
vor 4 Jahren von @selm
alle anzeigen
Lesezeichen-Symbolleiste
public
eL3€7
code
prolog
Lesezeichen-SymbolleistepubliceL3€7codeprolog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1FAQ: Prolog Resource Guide 1/2 [Monthly posting] - [1-10] Is there a straight-forward way of compiling Prolog to C?
https://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part1/faq-doc-11.html
vor 4 Jahren von @mkf
alle anzeigen
prolog
prolog_to_c
prologprolog_to_c
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Introduction
https://www.metalevel.at/prolog/introduction
vor 7 Jahren von @michelc
alle anzeigen
AI
Prolog
learning
programing
AIProloglearningprograming
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1CMPU-245-51: Declarative Programming Models
http://www.cs.vassar.edu/~cs245/
vor 7 Jahren von @bshanks
alle anzeigen
Bookmarks
scheme
lambdaCalculus
lisp
haskell
prolog
course
intro
cs
BookmarksschemelambdaCalculuslisphaskellprologcourseintrocs
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Prolog - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Prolog
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Predicate logic - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Predicate_logic
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Knowledge-based systems - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge-based_system
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Knowledge engineering - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge_engineering
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Inference engine - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Inference_engine
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2Expert system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Expert_system
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2Decision support system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Decision_support_system
vor 9 Jahren von @pauljrichardson
alle anzeigen
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
7SWI Prolog
http://www.swi-prolog.org/
vor 10 Jahren von @digiretriever
alle anzeigen
Balogh
Discourse_Representations
Prolog_SWI
SWI_Prolog
prolog
BaloghDiscourse_RepresentationsProlog_SWISWI_Prologprolog
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Prolog: Recktenwald Rules
http://www.dfki.de/~kipp/seminar_ws0607/reports/Recktenwald-Rules-Prolog.pdf
vor 12 Jahren von @digiretriever
alle anzeigen
Prolog
Recktenwald_Rules
PrologRecktenwald_Rules
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Grundkurs Prolog WS 2005/06
http://user.phil-fak.uni-duesseldorf.de/~rumpf/WS2010/Prolog/index_prolog.htm
vor 12 Jahren von @digiretriever
alle anzeigen
HHU
Programmieren
Prolog
programming
HHUProgrammierenPrologprogramming
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Making the change with Prolog — the bad, the ugly and the good « xor
http://xor0110.wordpress.com/2010/06/04/making-the-change-with-prolog-the-bad-the-ugly-and-the-good/
vor 13 Jahren von @jaeschke
alle anzeigen
ai
problem
programming
prolog
solving
aiproblemprogrammingprologsolving
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
3The Prolog Dictionary
This dictionary is limited to the Prolog concepts covered in COMP9414 Artificial Intelligence at the University of New South Wales, Sydney.
vor 13 Jahren von @panic
alle anzeigen
Prolog
Programming
Dictionary
Information
PrologProgrammingDictionaryInformation
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Thea - [SWI] Prolog OWL library
http://www.semanticweb.gr/thea/index.html
vor 13 Jahren von @zazi
alle anzeigen
OWL2
Prolog
Reasoning
Semantic_Web
Semantic_Web_Technology
Thea
OWL2PrologReasoningSemantic_WebSemantic_Web_TechnologyThea
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
2
3
⟩
⟩⟩

Publikationen (verstecken)66
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

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

⟨⟨
⟨
1
2
3
⟩
⟩⟩