TypedProlog
TypedProlog
(language)A strongly typed logic programming language.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Encyclopedia browser
?
- ▲
- type II error
- type II portland cement
- type II superconductor
- type II supernova
- type III assembly
- type III cement
- type II-L supernova
- type II-P supernova
- type inference
- type IV cement
- type locality
- Type Metal
- type rating
- type scheme
- type section
- Type Size
- type system
- Type, Literary
- type-a leader
- type-ahead
- typeahead buffer
- type-ahead search
- type-bar printer
- Typecasting
- typed lambda-calculus
- TypedProlog
- type-DWV tubing
- typeface
- typeface family
- type-in traffic
- type-M carcinotron
- typematic
- type-O carcinotron
- typeover mode
- type-S fuse
- types of compliance
- types of social action
- Types, Theory of
- TypeScript
- Typesetting
- typesetting language
- Typesetting Machines
- type-ß leader
- typewriter
- typewriter terminal
- type-X gypsum lath
- type-X gypsum wallboard
- Typha
- Typhaceae
- Typhales
- Typhlitis
- ▼
Full browser
?
- ▲
- typed
- typed
- typed
- typed
- Typed (programming languages)
- Typed Applicative Language Experiment
- Typed assembly language
- Typed Constraint Logic Programs
- Typed Data Object
- Typed Default Feature Structure
- Typed Delay
- Typed Feature Structure Grammar
- typed in
- typed into
- typed it in
- typed it into
- typed it out
- typed it up
- Typed Lambda Calculi and Applications
- typed lambda-calculus
- Typed Letter Signed
- Typed Module Assembly Language
- Typed Neglect of Differential Overlap
- Typed Object Model
- typed out
- typed over
- typed up
- Typed XML
- Typed-Data Session Service Data Unit
- typed-in traffic
- TypedProlog
- typeface
- typeface
- typeface
- typeface
- typeface
- Typeface Definition File
- Typeface editor
- typeface family
- typeface family
- Typeface foundries
- Typeface foundry
- Typefaces
- Typefaces
- Typefi Publishing System
- typefounder
- Typefounding
- typefoundry
- Typekill
- typematic
- typeover mode
- typeprint analysis
- types
- types
- types
- types
- types
- Types and Programming Languages
- types in
- Types in Language Design and Implementation
- Types in Programming
- ▼