Works matching Prolog (Computer program language)

Results: 136

USING AI METHODOLOGIES IN MATHEMATICAL MODELING OF PRODUCTION SYSTEMS.

Published in:

Annals of Operations Research, 1989, v. 17, n. 1-4, p. 307, doi. 10.1007/BF02096611

By:

Burd, Stephen D.;
Kassicieh, Suleiman K.

Publication type:

Article

Developing Thinking Skills with Computers.

Published in:

Teachers College Record, 1988, v. 89, n. 3, p. 384, doi. 10.1177/016146818808900302

By:

Black, John B.;
Swan, Karen;
Schwartz, Daniel L.

Publication type:

Article

DEVELOPMENT OF A KNOWLEDGE-BASED MODEL MANAGEMENT SYSTEM.

Published in:

Operations Research, 1988, v. 36, n. 6, p. 849, doi. 10.1287/opre.36.6.849

By:

Ting-Peng Liang

Publication type:

Article

BioMake: a GNU make-compatible utility for declarative workflow management.

Published in:

Bioinformatics, 2017, v. 33, n. 21, p. 3502, doi. 10.1093/bioinformatics/btx306

By:

Holmes, Ian H.;
Mungall, Christopher J.

Publication type:

Article

Shopping in the Electronic Marketplace.

Published in:

Journal of Management Information Systems, 1986, v. 2, n. 4, p. 21, doi. 10.1080/07421222.1986.11517744

By:

Lee, Ronald M.;
Widmeyer, George R.

Publication type:

Article

Observational studies about novices interacting in a Prolog environment based on tools.

Published in:

Instructional Science, 1995, v. 23, n. 1-3, p. 89, doi. 10.1007/BF00890447

By:

Baranauskas, Maria Cecilia C

Publication type:

Article

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 847, doi. 10.1017/S1471068413000537

By:

TARAU, PAUL;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

BigYAP: Exo-compilation meets UDI.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 799, doi. 10.1017/S1471068413000501

By:

SANTOS COSTA, VÍTOR;
VAZ, DAVID;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 691, doi. 10.1017/S1471068413000434

By:

JANSEN, JOACHIM;
JORISSEN, ALBERT;
JANSSENS, GERDA;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Delimited continuations for prolog.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 533, doi. 10.1017/S1471068413000331

By:

SCHRIJVERS, TOM;
DEMOEN, BART;
DESOUTER, BENOIT;
WIELEMAKER, JAN;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Representation sharing for Prolog.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 1, p. 71, doi. 10.1017/S1471068411000421

By:

NGUYEN, PHUONG-LAN;
DEMOEN, BART

Publication type:

Article

Coding guidelines for Prolog.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 6, p. 889, doi. 10.1017/S1471068411000391

By:

COVINGTON, MICHAEL A.;
BAGNARA, ROBERTO;
O'KEEFE, RICHARD A.;
WIELEMAKER, JAN;
PRICE, SIMON

Publication type:

Article

Lightweight compilation of (C)LP to JavaScript.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 755, doi. 10.1017/S1471068412000336

By:

MORALES, JOSE F.;
HAEMMERLÉ, RÉMY;
CARRO, MANUEL;
HERMENEGILDO, MANUEL V.

Publication type:

Article

Efficient tabling of structured data with enhanced hash-consing.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 547, doi. 10.1017/S1471068412000178

By:

ZHOU, NENG-FA;
HAVE, CHRISTIAN THEIL

Publication type:

Article

Towards multi-threaded local tabling using a common table space.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 427, doi. 10.1017/S1471068412000117

By:

AREIAS, MIGUEL;
ROCHA, RICARDO

Publication type:

Article

XSB: Extending Prolog with Tabled Logic Programming.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 157, doi. 10.1017/S1471068411000500

By:

SWIFT, TERRANCE;
WARREN, DAVID S.

Publication type:

Article

Introduction to the special issue on Prolog systems.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 1, doi. 10.1017/S1471068411000524

By:

DEMOEN, BART;
DE LA BANDA, MARIA GARCIA

Publication type:

Article

The YAP Prolog system.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 5, doi. 10.1017/S1471068411000512

By:

COSTA, VÍTOR SANTOS;
ROCHA, RICARDO;
DAMAS, LUÍS

Publication type:

Article

SWI-Prolog.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 67, doi. 10.1017/S1471068411000494

By:

WIELEMAKER, JAN;
SCHRIJVERS, TOM;
TRISKA, MARKUS;
LAGER, TORBJÖRN

Publication type:

Article

SICStus Prolog—The first 25 years.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 35, doi. 10.1017/S1471068411000482

By:

CARLSSON, MATS;
MILDNER, PER

Publication type:

Article

On the implementation of GNU Prolog.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 253, doi. 10.1017/S1471068411000470

By:

DIAZ, DANIEL;
ABREU, SALVADOR;
CODOGNET, PHILIPPE

Publication type:

Article

ECLiPSe – From LP to CLP.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 127, doi. 10.1017/S1471068411000469

By:

SCHIMPF, JOACHIM;
SHEN, KISH

Publication type:

Article

The language features and architecture of B-Prolog.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 189, doi. 10.1017/S1471068411000445

By:

ZHOU, NENG-FA

Publication type:

Article

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 1/2, p. 97, doi. 10.1017/S1471068411000433

By:

TARAU, PAUL

Publication type:

Article

Constraint-based deadlock checking of high-level specifications.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 767, doi. 10.1017/S1471068411000299

By:

HALLERSTEDE, STEFAN;
LEUSCHEL, MICHAEL

Publication type:

Article

On combining linear-based strategies for tabled evaluation of logic programs.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 681, doi. 10.1017/S147106841100024X

By:

AREIAS, MIGUEL;
ROCHA, RICARDO

Publication type:

Article

A structured alternative to Prolog with simple compositional semantics.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 611, doi. 10.1017/S1471068411000202

By:

PORTO, ANTÓNIO

Publication type:

Article

RedAlert: Determinacy inference for Prolog.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 537, doi. 10.1017/S1471068411000160

By:

KRIENER, JAEL;
KING, ANDY

Publication type:

Article

On the implementation of the probabilistic logic programming language ProbLog.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 235, doi. 10.1017/S1471068410000566

By:

KIMMIG, ANGELIKA;
DEMOEN, BART;
DE RAEDT, LUC;
COSTA, VÍTOR SANTOS;
ROCHA, RICARDO

Publication type:

Article

Applying Prolog to develop distributed systems.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 691, doi. 10.1017/S1471068410000360

By:

Lopes, Nuno P.;
Navarro, Juan A.;
Rybalchenko, Andrey;
Singh, Atul

Publication type:

Article

CHR(PRISM)-based probabilistic logic learning.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 433, doi. 10.1017/S1471068410000207

By:

Sneyers, Jon;
Meert, Wannes;
Vennekens, Joost;
Kameya, Yoshitaka;
Sato, Taisuke

Publication type:

Article

Automated termination analysis for logic programs with cut.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 365, doi. 10.1017/S1471068410000165

By:

Schneider-Kamp, Peter;
Giesl, Jürgen;
Ströder, Thomas;
Serebrenik, Alexander;
Thiemann, René

Publication type:

Article

Probabilistic reasoning with answer sets.

Published in:

Theory & Practice of Logic Programming, 2009, v. 9, n. 1, p. 57, doi. 10.1017/S1471068408003645

By:

CHITTA BARAL;
MICHAEL GELFOND;
NELSON RUSHTON

Publication type:

Article

SWI-Prolog and the web.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 3, p. 363, doi. 10.1017/S1471068407003237

By:

JAN WIELEMAKER;
ZHISHENG HUANG;
LOURENS VAN DER MEIJ

Publication type:

Article

Translating OWL and semantic web rules into prolog: Moving toward description logic programs.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 3, p. 301, doi. 10.1017/S1471068407003249

By:

KEN SAMUEL;
LEO OBRST;
SUZETTE STOUTENBERG;
KAREN FOX;
PAUL FRANKLIN;
ADRIAN JOHNSON;
KEN LASKEY;
DEBORAH NICHOLS;
STEVE LOPEZ;
JASON PETERSON

Publication type:

Article

Improving Prolog programs: Refactoring for Prolog.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 2, p. 201, doi. 10.1017/S1471068407003134

By:

ALEXANDER SEREBRENIK;
TOM SCHRIJVERS;
BART DEMOEN

Publication type:

Article

Logic programming with satisfiability.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 1, p. 121, doi. 10.1017/S1471068407003146

By:

MICHAEL CODISH;
VITALY LAGOON;
PETER J. STUCKEY

Publication type:

Article

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 6, p. 633, doi. 10.1017/S1471068406002985

By:

ENRICO PONTELLI;
KAREN VILLAVERDE;
HAI-FENG GUO;
GOPAL GUPTA

Publication type:

Article

Incremental copying garbage collection for WAM-based Prolog systems.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 5, p. 505, doi. 10.1017/S147106840600278X

By:

VANDEGINSTE, RUBEN;
DEMOEN, BART

Publication type:

Article

Improving PARMA trailing.

Published in:

Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 609, doi. 10.1017/S1471068405002620

By:

TOM SCHRIJVERS;
BART DEMOEN;
MARIA GARCIA DE LA BANDA;
PETER J. STUCKEY

Publication type:

Article

On applying or-parallelism and tabling to logic programs.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 1/2, p. 161, doi. 10.1017/S1471068404002030

By:

RICARDO ROCHA;
FERNANDO SILVA;
VÍTOR SANTOS COSTA

Publication type:

Article

A treatment of higher-order features in logic programming.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 3, p. 305, doi. 10.1017/S1471068404002297

By:

GOPALAN NADATHUR

Publication type:

Article

Computing convex hulls with a linear solver.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 1/2, p. 259, doi. 10.1017/S1471068404002261

By:

FLORENCE BENOY;
ANDY KING;
FRED MESNARD

Publication type:

Article

cTI: a constraint-based termination inference tool for ISO-Prolog.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 1/2, p. 243, doi. 10.1017/S1471068404002017

By:

FRED MESNARD;
ROBERTO BAGNARA

Publication type:

Article

Transformations of logic programs with goals as arguments.

Published in:

Theory & Practice of Logic Programming, 2004, v. 4, n. 4, p. 495, doi. 10.1017/S147106840400198X

By:

PETTOROSSI, ALBERTO;
PROIETTI, MAURIZIO

Publication type:

Article

Offline specialisation in Prolog using a hand-written compiler generator.

Published in:

Theory & Practice of Logic Programming, 2004, v. 4, n. 1/2, p. 139, doi. 10.1017/S1471068403001662

By:

MICHAEL LEUSCHEL;
JESPER JØRGENSEN;
WIM VANHOOF;
MAURICE BRUYNOOGHE

Publication type:

Article

An open ended tree.

Published in:

Theory & Practice of Logic Programming, 2003, v. 3, n. 3, p. 377, doi. 10.1017/S1471068402001618

By:

HENK VANDECASTEELE;
GERDA JANSSENS

Publication type:

Article

OmpSs:: A PROPOSAL FOR PROGRAMMING HETEROGENEOUS MULTI-CORE ARCHITECTURES.

Published in:

Parallel Processing Letters, 2011, v. 21, n. 2, p. 173, doi. 10.1142/S0129626411000151

By:

Duran, Alejandro;
AyguadÉ, Eduard;
Badia, Rosa M.;
Labarta, JesÚs;
Martinell, Luis;
Martorell, Xavier;
Planas, Judit

Publication type:

Article

Relational dual tableau decision procedure for modal logic K.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 4, p. 747, doi. 10.1093/jigpal/jzr019

By:

Golińska-Pilarek, Joanna;
Muñoz-Velasco, Emilio;
Mora-Bonilla, Angel

Publication type:

Article

Teaching model-driven engineering from a relational database perspective.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 2, p. 443, doi. 10.1007/s10270-015-0488-7

By:

Batory, Don;
Azanza, Maider

Publication type:

Article