Results 121 to 130 of about 41,331 (216)

Partial evaluation of pattern matching in constraint logic programming languages [PDF]

, 1991
Donald A. Smith
openalex   +1 more source

Logic programming with requests

, 1999
We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation.
Etalle, Sandro, van Raamsdonk, Femke
openaire   +3 more sources

Stiffness reprogrammable magnetorheological metamaterials inspired by spine for multibit visual mechanical information processing. [PDF]

Sci Adv
Lou C, Lian X, Deng H, Liu B, Duan S, Zhao Y, Gong X.   +6 more
europepmc   +1 more source

The integration of functions into logic programming: From theory to practice

, 1994
Michael Hanus
openalex   +1 more source

Analyzing logic programs with dynamic scheduling [PDF]

, 1994
Kim Marriott, María García de la Banda, Manuel V. Hermenegildo   +2 more
openalex   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

Parallel Logic Programming [PDF]

, 1990
Keith Clark
openalex   +1 more source

Design and simulation of a PLC-controlled omni wheel conveyor sorting system for high-speed material handling. [PDF]

Sci Rep
Bhat R, Suresh S, Devakumar D, Subramanian KR, Dhanush D, Krishnan S.   +5 more
europepmc   +1 more source

Memoing for logic programs [PDF]

, 1992
David S. Warren
openalex   +1 more source

Full-cycle device-scale simulations of memory materials with a tailored atomic-cluster-expansion potential. [PDF]

Nat Commun
Zhou Y, Thomas du Toit DF, Elliott SR, Zhang W, Deringer VL.   +4 more
europepmc   +1 more source