Results 191 to 200 of about 12,699 (243)
Computer- and Smart-Tablet-Based Self-Administered Treatments in Chronic Post-Stroke Aphasia: A Systematic Review. [PDF]
Brain SciEricson C +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ACM SIGPLAN Notices, 1990
This paper describes a procedural definition of Prolog based on the features of the 'C' programming language. Our motivation to exploit the complementary nature of procedural and declarative programming lead to the objective of a dual Prolog and 'C' programming environment.
Joanne L. Boyd, Gerald M. Karam
openaire +1 more source
This paper describes a procedural definition of Prolog based on the features of the 'C' programming language. Our motivation to exploit the complementary nature of procedural and declarative programming lead to the objective of a dual Prolog and 'C' programming environment.
Joanne L. Boyd, Gerald M. Karam
openaire +1 more source
IEEE Annals of the History of Computing, 1992
The series of 'Time-Sharing System Scorecards' published from 1965-7 by the Computer Research Corp. chronicles the development of time-sharing systems in research organizations (universities and laboratories) and the expectations for commercial offerings.
openaire +1 more source
The series of 'Time-Sharing System Scorecards' published from 1965-7 by the Computer Research Corp. chronicles the development of time-sharing systems in research organizations (universities and laboratories) and the expectations for commercial offerings.
openaire +1 more source
Journal of Logic and Computation, 1992
Summary: The goal of the paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depth-first search strategy in order to provide a practical approximation of Horn clause logic.
Roberto Barbuti +3 more
openaire +6 more sources
Summary: The goal of the paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depth-first search strategy in order to provide a practical approximation of Horn clause logic.
Roberto Barbuti +3 more
openaire +6 more sources
Mod-PROLOG, a modular, microcomputer oriented PROLOG
Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers - SIGSMALL '83, 1983In this paper we propose a new implementation of PROLOG which is designed to solve the above problems; it has new facilities, based on a new data structure that permits the definition of independent modules communicating through the exchange of PROLOG terms.
G. Battani +3 more
openaire +1 more source
Resultant semantics for prolog
Journal of Logic and Computation, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maurizio Gabbrielli +2 more
openaire +2 more sources
ACM SIGPLAN Notices, 1986
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator.
openaire +1 more source
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator.
openaire +1 more source
ACM SIGART Bulletin, 1980
In 1968, Carl Hewitt introduce PLANNER, a "procedural deductive system." [Hewitt 72] It featured some very innovative concepts for the theorem-proving community of that time: the procedural interpretation of deduction, pattern-directed procedure invocation, an indexed data base of assertions and programs, and nondeterminism (backtracking).
openaire +1 more source
In 1968, Carl Hewitt introduce PLANNER, a "procedural deductive system." [Hewitt 72] It featured some very innovative concepts for the theorem-proving community of that time: the procedural interpretation of deduction, pattern-directed procedure invocation, an indexed data base of assertions and programs, and nondeterminism (backtracking).
openaire +1 more source
Digest of Papers. COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference, 1988
An overview is given of the Aquarius project at Berkeley, which is centered on the high-performance execution of logic programs in general and Prolog in particular. Its goal is to determine how a very large improvement in performance can be achieved in a machine specialized to solve difficult problems characterized by symbolic and numerical ...
openaire +1 more source
An overview is given of the Aquarius project at Berkeley, which is centered on the high-performance execution of logic programs in general and Prolog in particular. Its goal is to determine how a very large improvement in performance can be achieved in a machine specialized to solve difficult problems characterized by symbolic and numerical ...
openaire +1 more source