tag :: prolog | BibSonomy

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

1using_prolog_as_the_ast
https://marcellerusu.com/using_prolog_as_the_ast.html
12 месяцев назад , @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
5 лет назад , @mkf
prolog
prolog_to_c
prologprolog_to_c
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Introduction
https://www.metalevel.at/prolog/introduction
8 лет назад , @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
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Predicate logic - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Predicate_logic
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Knowledge-based systems - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge-based_system
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Knowledge engineering - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Knowledge_engineering
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Inference engine - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Inference_engine
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
2Expert system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Expert_system
10 лет назад , @pauljrichardson
Bookmarks_bar
DEV
Prolog
Bookmarks_barDEVProlog
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
2Decision support system - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Decision_support_system
10 лет назад , @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;
⟩⟩

публикации (спрятать)56
показать
всё
только публикации
публикации на страницу
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)
копироватьудалитьдобавить публикацию в буфер
1An 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.
5 лет назад , @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)
5 лет назад , @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)
5 лет назад , @mkf
gnuprolog
prolog
prolog_to_c
gnuprologprologprolog_to_c
(0)
копироватьудалитьдобавить публикацию в буфер
1Prolog by Example
H. Coelho, и J. Cotta. Symbolic Computation – Artificial Intelligence Springer, Berlin, (1988)
6 лет назад , @gdmcbain
68n15-programming-languages
68n17-logic-programming
prolog
68n15-programming-languages68n17-logic-programmingprolog
(0)
копироватьудалитьдобавить публикацию в буфер
2Programming in Prolog
W. Clocksin, и C. Mellish. Springer, Berlin, (1984)
6 лет назад , @gdmcbain
68n17-logic-programming
68p05-data-structures
prolog
68n17-logic-programming68p05-data-structuresprolog
(0)
копироватьудалитьдобавить публикацию в буфер
2The Art of Prolog
L. Sterling, и E. Shapiro. MIT Press, Cambridge, MA, (1986)
8 лет назад , @machinelearning
logic
ml
programming,
prolog
logicmlprogramming,prolog
(0)
копироватьудалитьдобавить публикацию в буфер
1mcsoto/LogicJS: Logic programming for JavaScript.
mcsoto. (2016)
8 лет назад , @maxirichter
javascript
logic
programming
prolog
webdevelopment
javascriptlogicprogrammingprologwebdevelopment
(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)
копироватьудалитьдобавить публикацию в буфер
2Process-based Parallel Logic Programming: A Survey of the Basic Issues
K. De Bosschere. Journal of Systems and Software, 39 (1): 71 - 82 (1997)
13 лет назад , @gron
LogicProgramming
Parlog
Prolog
Survey
LogicProgrammingParlogPrologSurvey
(0)
копироватьудалитьдобавить публикацию в буфер
2Parallel Execution of Prolog Programs: A Survey
G. Gupta, E. Pontelli, K. Ali, M. Carlsson, и M. Hermenegildo. ACM Trans. Program. Lang. Syst., 23 (4): 472--602 (июля 2001)
13 лет назад , @gron
LogicProgramming
Parlog
Prolog
Survey
LogicProgrammingParlogPrologSurvey
(0)
копироватьудалитьдобавить публикацию в буфер
2Process-based parallel logic programming: a survey of the basic issues
K. De Bosschere. Journal of Systems and Software, 39 (1): 71--82 (октября 1997)
13 лет назад , @gron
Prolog
parallelism
Prologparallelism
(0)
копироватьудалитьдобавить публикацию в буфер
2Parallel Execution of Prolog Programs: A Survey
G. Gupta, E. Pontelli, K. Ali, M. Carlsson, и M. Hermenegildo. ACM Trans. Program. Lang. Syst., 23 (4): 472--602 (июля 2001)
13 лет назад , @gron
parlog
prolog
survey
parlogprologsurvey
(0)
копироватьудалитьдобавить публикацию в буфер
2From Programs to Object Code using Logic and Logic Programming.
J. Bowen. Code Generation, стр. 173-192. (1991)
13 лет назад , @jpbowen
Prolog
code
compilation
formal
logic
methods
myown
object
programming
programs
Prologcodecompilationformallogicmethodsmyownobjectprogrammingprograms
(0)
копироватьудалитьдобавить публикацию в буфер
1Antwortmengenprogrammierung
T. Schaub. LOG IN: Informatische Bildung und Computer in der Schule, (2003)
14 лет назад , @baisemain
answer-set-programming,
asp,
logic-programming,
prolog
answer-set-programming,asp,logic-programming,prolog
(0)
копироватьудалитьдобавить публикацию в буфер
1I do declare: Consensus in a logic language
P. Alvaro, T. Condie, N. Conway, J. Hellerstein, и R. Sears. ACM SIGOPS Operating Systems Review, 43 (4): 25--30 (2010)
14 лет назад , @giuliano.losa
consensus
logic_programming
paxos
prolog
consensuslogic_programmingpaxosprolog
(0)
копироватьудалитьдобавить публикацию в буфер
1An architecture for voice dialog systems based on prolog-style theorem proving
R. Smith, A. Biermann, и R. Hipp. Comput. Linguist., 21 (3): 281--320 (1995)
14 лет назад , @mortimer_m8
architecture,
dialogue,
knowledge,
model,
prolog
architecture,dialogue,knowledge,model,prolog
(0)
копироватьудалитьдобавить публикацию в буфер
1Integration of domain problem solving with natural language dialog: the missing axiom theory
R. Smith. 1707, стр. 270--278. SPIE, (1992)
14 лет назад , @mortimer_m8
axiomtheory,
dialogue,
knowledge,
logic,
prolog
axiomtheory,dialogue,knowledge,logic,prolog
(0)
копироватьудалитьдобавить публикацию в буфер

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

просмотр

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

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

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

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

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

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

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