SIMULATION OF CMOS CIRCUITS AT THE SWITCH LEVEL USING LOGIC PROGRAMMING Descriptions of CMOS circuits at the switch level (transistor level) are suggested in the form of predicate sets which make it possible to perform their as... A Lyulkin - International Conference on Information Networks, Syste...
Moyer, Modern physics, Thomson Brooks Cole, Year: 2005, ISBN: 9780534493394, 0534493394 PROLOG Facts, Rules and Queries O. Raggos, Logical programming and Prolog, greek notes (rarred pdfs), University of Patras, 2013 John Malpas, PROLOG: A Relational Language and Its Applications, Prentice-...
In this paper, we identify a class of Prolog programs inferable from positive data. Our approach is based on moding information and linear predicate inequa... MRKK Rao - International Workshop on Algorithmic Learning Theory 被引量: 35发表: 1996年 Parallel inductive logic programming We present ...
constraint satisfaction problem-solving/ C4240C Computational complexity C6110L Logic programming C6170K Knowledge engineering techniquesWe obtain here the complexity of solving a type of Prolog problem which Genesereth and Nilsson have called sequential constraint satisfaction . Such problems are of ...
Logic Programming Lecture Notes in Computer Science Volume 4079, 2006, pp 463-464 Description Logic Reasoning in PrologGergely Lukácsy … show all 1 hide Citations Purchase on Springer.com $29.95 / €24.95 / £19.95* Buy this eBook * Final gross prices may vary according to local VAT...
Logic ProgrammingRelational Database SystemPROLOGINGRESThis paper describes the implementing techniques of the deductive database system, PI-DDBS, which is based on combining C-PROLOG with INGRES. The system connecting method to couple tightly PROLOG with RDBNS in the physical level is used to build...
Seipel, D.: Processing XML–Documents in PROLOG. In: Workshop on Logic Programming (WLP) (2002) Simple Object Access Protocol (SOAP) Version 1.2, W3C Recommendation, http://www.w3.org/TR/soap12-part0/ Universal Description, Discovery and Integration (UDDI) protocol, OASIS Standards Consort...