|
|
Lambda Prolog
<language> An extension of standard Prolog defined by Dale
A. Miller and Gopalan Nadathur in 1986, in which terms are
strongly typed lambda terms. Clauses are higher order
hereditary Harrop formulas. The main novelties are
universal quantification on goals and implication.
The Prolog/Mali compiler compiles Lambda Prolog for the
MALI abstract memory system.
Teyjus is an implementation of
Lambda Prolog.
Lambda Prolog home.
Mailing list: lprolog@cs.umn.edu.
["Higher-order logic programming", Miller D.A. and Nadathur
G., 3rd International Conference on Logic Programming, pp
448-462, London 1986].
[Nadathur G. "A Higher-Order Logic as a Basis for Logic
Programming", Thesis, University of Pennsylvania, 1987].
(2002-10-15)
Try this search on OneLook / Google
Nearby terms:
lambda expression « lambda lifting « LambdaMOO « Lambda Prolog » lamer » LAMINA » lamp-post error
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Pizza Connection 2Pizza Connection 2 You are in control of building your own pizza empire. Your choices of location, furnishings, staff, toppings, and menu could mean the difference between success and bankruptcy. Will you rise to the top with hard work and luck, or join the shady underworld to sabotage your opponents' efforts? Windows 95/98/ME/2000/XP More ...
Dragon's Lair II: Time WarpDragon's Lair II: Time Warp Princess Daphne has been spirited away to a wrinkle in time by the Evil Wizard Mordroc who plans to force her into marriage. Only you, Dirk the Daring, can save her! Experience the original arcade look and feel, including Don Bluth's animations, the original scoring scheme, and more. Windows 95/98/ME/2000/XP More ...
iPod Compatible FM Transmitter w/LCD DisplayiPod Compatible FM Transmitter w/LCD Display ** FM Transmitter w/LCD display **This FM transmitter is designed to transmit your iPod audio files to any FM receiver! It works with your iPod MP3 players. It allows you to set FM channel from 87.7 to 107.9 MHz. Just tune your FM radio to match the same frequency of this unit, and it turns your FM radio audio into a MP3 player right away! Order yours today!General Features:- Ideal for an iPod player- 14 channels for selection- FM Band Full Channels (87.7 - 107.9 MHz)- Channel Selection up (0.2 MHz)- Excellent sound quality- LCD display- Cigarette lighter adapter end - Will charge your iPod- Tilting head- 0.15 A dissipation currentRegulatory Approvals:- FCCRetail Package Includes:- FM transmitter Compatibility/Requirements/Disclosures: ** Requirements *** Available audio source* Available power source More ...
Sammy's Science HouseSammy's Science House Sammy's Science House introduces and builds essential early science and thinking skills while engaging young students with five fun-filled activities. Sammy also offers interactive, creative activities such as Make-A-Movie, where students arrange pictures in sequence to understand how multiple parts create a whole. ...and much more! Grades PreK-2. Windows 95/98/ME/2000/XP and MAC More ...
Chaintech GeForce SE6200 128MB 16x PCI Express VCDChaintech GeForce SE6200 128MB 16x PCI Express VCD ** GeForce SE6200 128MB GDDR3 16x PCI Express Video Card **Get on-board with the newest of bus technologies! PCI Express is finally here!!! Experience the ultimate in gaming, 3D art programs and even desktop work with the GeForce SE6200 128 MB GDDR3 16x PCI Express Video Card! Features such as the Nvidia GeForce SE6200 GPU with second-generation UltraShadowII technology for the acceleration of complex shadows in immersive 3D games and applications and 128 MB of GDDR3 memory makes this card the ideal choicefor gamers and high-quality video card enthusiasts!General Features:- Nvidia GeForce 6200 GPU- 16x PCI Express interface - 128 MB GDDR3 memory- 64-bit memory interface- 0.11 micron- 400 MHz RAMDAC- CineFX 3.0 Shading Architecture - 64-Bit Texture Filtering and Blending- Intellisample 3.0 Technology- UltraShadow II Technology - Advanced Video and Display Functionality - Advanced Display Functionality - Advanced Engineering - Nvidia Digital Vibrance Control (DVC) 3.0- Complete DirectX support, including the latestversion of Microsoft DirectX 9.0 Shader Model 3.0 - Full OpenGL support, including OpenGL 1.5- Up to 3x Geometry performanceConnectors:- 15-pin VGA - DVI- S-VideoRegulatory Approvals:- FCC- CE- BSMI Retail Box Includes:- GeForce SE6200 16x PCI Express Video Card- User Manual- VGA driver on CD- InterVideo WinDVD Creator- S-Video cable Compatibility/Requirements/Disclosures: ** Requirements *** Intel Pentium III, AMD Duron or Athlon class processor* Windows 95 OSR2/98/98SE/ME/NT 4.0/2000/XP* 128 MB of RAM* 10 MB available hard disk space (50 MB for full installation)* Available AGP slot* CD-ROM Drive (to load driver) More ...
USB 2.0 PC-to-PC Data Transfer Cable-2 for $29.50USB 2.0 PC-to-PC Data Transfer Cable-2 for $29.50 ** USB 2.0 PC-to-PC Data Transfer Cable - 2 for $29.50 **You may have customers that realize the benefits of homenetworking, but don't want to mess around with installingEthernet cards, and choosing the right type of cabling andnetwork hubs. This cable provides the perfect Plug-and-Playsolution! It is USB 2.0 compliant for transfer speeds up to480Mbps, but also works in USB 1.1 ports at USB 1.1 speeds!Order Today!General Features:- USB A to A cable with network bridge built-inNOTE: Do NOT use a regular A to A USB cable for networking!- Fully USB 2.0 compliant- Backwards compatible with USB 1.1 (at USB 1.1 speeds)- Autonegotiates transfer speeds at 1.5/12/480Mbps- Supported by Windows 98/98SE/ME/2000/XP- Supports TCP/IP, NETBEUI protocols- Share Internet connections, Printers, Scanners, etc.- Use with a USB hub to network multiple computers(Hub must be connected to one computer via a standard A to Bcable.)- Bus powered - no external power source needed- Approximately 6 feet from plug to plug Retail Package includes:- USB 2.0 NetLink Cable- Driver and Utilities CD- Brief User Manual Compatibility/Requirements/Disclosures:** Requirements *** USB 2.0 (preferred) or USB 1.1 port on each computer* Two or more PCs running Windows 98/98SE/ME/2000/XP** NOTE: Packaging mentions Mac compatibility, but thesample received had an ALi chipset, which is not Maccompatible. More ...
|
