Predicate Dispatching in the Common Lisp Object System

I have added support for predicate dispatching, a powerful generalization of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, a computer algebra system which doubles as a CLOS library. My result is Dispatching-Enhanced Weyl (DEW), a computer algebra system that I have demonstrated to be well suited for both users and programmers.

The method of predicate least squares refinement

Parameters to be determined in a least squares refinement calculation to fit a set of observed data may sometimes usefully be `predicated' to values obtained from some independent source, such as a theoretical calculation. An algorithm for achieving this in a least squares refinement calculation is described, which leaves the operator in full control of the weight that he may wish to attach to the predicate values of the parameters.

Hiord: A type-free higher-order logic programming language with predicate abstraction

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.

Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation /

Vita.

Complete problems in the first-order predicate calculus /

"UILU-ENG 79 1726."

Homelie del R. padre F. Franceschino Visdomini da Ferrara ... : nelle quali vi sono molti vtili, e necessari essempi, e documenti, tratti dalle principali auttorità [sic!] della sacra Biblia, & de sacri Euangeli : predicate in Roma, in Vinegia, in Genoua, In Bologna, in Brescia [et] nel sacro santo Concilio di Trento /

Mode of access: Internet.

Prediche del reuerendo don Gabriello Inchino, canonico regolare lateranense, sopra i quattro Nouissimi : da lui predicate in alcune citta d'Italia : Vtilissime ad ogni stato, grado, e conditione di persone; ma principalmente a' parochi, a' curato, [et] a' predicatori; che ne potrannno cauare molti sermoni, e prediche sopra diuersi passi del sacro Euangelio : Con vna tauola di tutte le cose notabili, che in esse prediche si contengono ...

Mode of access: Internet.

Sei prediche del R.D. Gabriel Fiamma, canonigo regolare lateranense : in lode della beata Vergine sopra lÉvangelio de S. Luca ... : predicate in Napoli, nella Chiesa dell'Annunciata, i Sabbati di Quaresma, l'anno 1573.

Mode of access: Internet.

Prediche del reu. mons. Francesco Riccardotto ... : sopra il sacramento dell'altare da lui predicate ..., con vna predica del medesimo sopra le imagini delle chiese in difesa della fede cattolica /

Edit16,