tag :: prolog | BibSonomy

закладки (спрятать)92
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1using_prolog_as_the_ast
https://marcellerusu.com/using_prolog_as_the_ast.html
7 месяцев назад , @bshanks
ast
prolog
astprolog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Thinking as Computation - Google Search
https://www.google.com/search?client=firefox-b-1-d&q=Thinking+as+Computation
2 лет назад , @bshanks
prolog
prolog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Htmlq: like jq, but for html | Hacker News
https://news.ycombinator.com/item?id=28441880
3 лет назад , @bshanks
html
jq
prolog
python
htmljqprologpython
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1The GNU Prolog web site
http://gprolog.inria.fr/
4 лет назад , @selm
Lesezeichen-Symbolleiste
public
eL3€7
code
prolog
Lesezeichen-SymbolleistepubliceL3€7codeprolog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
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
4 лет назад , @mkf
prolog
prolog_to_c
prologprolog_to_c
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Introduction
https://www.metalevel.at/prolog/introduction
7 лет назад , @michelc
AI
Prolog
learning
programing
AIProloglearningprograming
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1CMPU-245-51: Declarative Programming Models
http://www.cs.vassar.edu/~cs245/
8 лет назад , @bshanks
Bookmarks
scheme
lambdaCalculus
lisp
haskell
prolog
course
intro
cs
BookmarksschemelambdaCalculuslisphaskellprologcourseintrocs
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Prolog - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Prolog
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Predicate logic - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Predicate_logic
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Knowledge-based systems - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge-based_system
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Knowledge engineering - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge_engineering
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Inference engine - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Inference_engine
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
2Expert system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Expert_system
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
2Decision support system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Decision_support_system
9 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
7SWI Prolog
http://www.swi-prolog.org/
10 лет назад , @digiretriever
Balogh
Discourse_Representations
Prolog_SWI
SWI_Prolog
prolog
BaloghDiscourse_RepresentationsProlog_SWISWI_Prologprolog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Prolog: Recktenwald Rules
http://www.dfki.de/~kipp/seminar_ws0607/reports/Recktenwald-Rules-Prolog.pdf
12 лет назад , @digiretriever
Prolog
Recktenwald_Rules
PrologRecktenwald_Rules
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Grundkurs Prolog WS 2005/06
http://user.phil-fak.uni-duesseldorf.de/~rumpf/WS2010/Prolog/index_prolog.htm
12 лет назад , @digiretriever
HHU
Programmieren
Prolog
programming
HHUProgrammierenPrologprogramming
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
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/
13 лет назад , @jaeschke
ai
problem
programming
prolog
solving
aiproblemprogrammingprologsolving
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
3The Prolog Dictionary
This dictionary is limited to the Prolog concepts covered in COMP9414 Artificial Intelligence at the University of New South Wales, Sydney.
13 лет назад , @panic
Prolog
Programming
Dictionary
Information
PrologProgrammingDictionaryInformation
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Thea - [SWI] Prolog OWL library
http://www.semanticweb.gr/thea/index.html
13 лет назад , @zazi
OWL2
Prolog
Reasoning
Semantic_Web
Semantic_Web_Technology
Thea
OWL2PrologReasoningSemantic_WebSemantic_Web_TechnologyThea
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

публикации (спрятать)66
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

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

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

просмотр

prolog как концепция всех пользователей

сходные по теме тэги

сходные по популярности тэги

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter