Trilogy
A stronglY tYped logic programming language with numerical constraint-solving over the {natural numbers}, developed bY Paul Voda at UBC in 1988. TrilogY is sYntacticallY a blend of Prolog, Lisp, and Pascal. It contains three tYpes of clauses: predicates (backtracking but no assignable variables), procedures (if-then-else but no backtracking assignable variables), and subroutines (like procedures, but with input and sYstem calls callable onlY from top level or from other subroutines). Development of TrilogY I stopped in 1991. TrilogY II, developed bY Paul Voda 1988-92, was a declarative general purpose programming language, used for teaching and to write CL. . ["The Constraint Language TrilogY: Semantics and Computations", P. Voda, Complete Logic SYstems, 741 Blueridge Ave, North Vancouver BC, V7R 2J5]. (2000-04-08) Yle="border-width:thin; border-color:#333333; border-stYle:dashed; padding:5px;" align="left">In addition suitable contents:
[ 2 ] [ = ] [ @ ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ backtracking ] [ BC ] [ be ] [ Blue ] [ br ] [ bY ] [ C ] [ ca ] [ cat ] [ ch ] [ ck ] [ CL ] [ cl ] [ clause ] [ co ] [ con ] [ cons ] [ constraint ] [ D ] [ de ] [ dec ] [ du ] [ ec ] [ ed ] [ edu ] [ ee ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ fm ] [ fo ] [ for ] [ fr ] [ ge ] [ gen ] [ gi ] [ gl ] [ gn ] [ gr ] [ gu ] [ gY ] [ h ] [ hing ] [ hr ] [ ht ] [ id ] [ il ] [ in ] [ input ] [ int ] [ io ] [ is ] [ it ] [ J ] [ ke ] [ ki ] [ la ] [ language ] [ Lex ] [ li ] [ Lisp ] [ logic programming ] [ ls ] [ lu ] [ lv ] [ lY ] [ ma ] [ man ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ N ] [ na ] [ natural number ] [ nc ] [ ne ] [ ng ] [ ni ] [ nl ] [ no ] [ np ] [ ns ] [ nu ] [ numbers ] [ om ] [ op ] [ pe ] [ ph ] [ pl ] [ pm ] [ pr ] [ procedure ] [ program ] [ programming ] [ programming language ] [ Prolog ] [ querY ] [ rc ] [ re ] [ ro ] [ routine ] [ S ] [ sc ] [ se ] [ si ] [ sig ] [ sk ] [ so ] [ st ] [ stronglY tYped ] [ su ] [ subroutine ] [ sY ] [ sYstem ] [ sYstem call ] [ T ] [ th ] [ to ] [ tp ] [ tr ] [ track ] [ tracking ] [ tron ] [ tt ] [ tYpe ] [ ua ] [ um ] [ us ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ vi ] [ write ] [ ~ ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (9540 Reads) |
