|
|
TABLOG
<language> A programming language based on first order
predicate logic with equality that combines relational
programming and functional programming. It has functional
notation and unification as its binding mechanism. TABLOG
supports a more general subset of standard first order logic
than Prolog. It employs the Manna-Waldinger
'deductive-tableau' proof system as an interpreter instead
of resolution.
(1997-06-19)
Try this search on OneLook / Google
Nearby terms:
table « table locking « TABLET « TABLOG » tab-separated values » TABSOL » Tabulating Machine Company
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
NEW P4 2.8GHz 256MB DDR 80GB CDRW AGPNEW P4 2.8GHz 256MB DDR 80GB CDRW AGP ** NEW P4 2.8GHz 256MB DDR 80GB CDRW AGP **This FAST system features an Intel Pentium 4 2.8GHz processor, an 80GB 7200RPM hard drive, 256MB DDR RAM, and sports a 52x32x52 CDRW drive. It also includes a high powered GeForce MX4000 64MB AGP Video Card for great graphics!General Features:- Intel Pentium 4 2.8GHz Processor- 256MB DDR Memory- 80GB 7200RPM IDE Hard Drive- 52X32X52 CDRW Drive- Nvidia GeForce MX4000 64MB AGP Video Card- AC97 Integrated Audio- 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- Intel845D (Northbridge) / Intel ICH2 (Southbridge) Chipsets- One (1) 4X AGP Slot (Occupied by AGP card)- Five (5) PCI slotsI/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- One (1) Standard 9-pin Serial Port Connector- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:- Eureka P4 2.8GHz System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Asrock P4I45D Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
Intel Celeron 333MHz Processor Mobile ModuleIntel Celeron 333MHz Processor Mobile Module ** Intel Celeron 333MHz Processor Mobile Module **The Mobile Celeron processor allows exceptional value notebooks to be designed for today’s mobile applications.- Mobile Module Connector 1 (MMC-1)- 333 MHz Core CPU - Integrated 16 Kbytes of Data and 16Kbytes of Instruction Level-One Cache - Integrated on-die 128 Kbytes Level-Two Cache - Low Power GTL+ Processor System Bus Interface operating at 66 MHz - Integrated Floating-Point Unit - 64-bit External Data Bus - Supports the Intel Architecture MMX™Technology - Supports the Intel Architecture with Dynamic Execution - Quick Start Mode for low power , fast exit (low latency) clock “throttling”- Deep Sleep mode for extremely low power dissipation - Integrated Thermal Diode - High-Reliability Error Detection Notes:- Intel part # PMH33301002AACompatibility/Requirements/Disclosures:* Notebook/Laptop that supports Celeron 333MHz Mobile MMC-1 processors More ...
6-Foot Cat5e Ethernet Patch Cable (White)6-Foot Cat5e Ethernet Patch Cable (White) ** 6-Foot Category 5e (Cat5e) Ethernet Patch Cable **This high quality Cat5e Ethernet Cable is designed for all of your networking needs. It comes in 6-foot length and works with 10BaseT and 100BaseT environment. Order today!General Features:- White color- 6-foot length- Category 5e - Suitable for Gigabit Ethernets- Works with 10BaseT and 100BaseT environments- EIA/TIA Verified- Type CM- 24 AWG Conductor Gauge- RJ-45 Connectors at both ends- Stranded 568Notes:- Cable only- Type CM: Cables may be used within a single floor, i.e. in the horizontal run. May not be used to penetrate floors or ceilings, nor used in air handling spaces Compatibility/Requirements/Disclosures: ** Requirements *** Basic Networking Knowledge* Ethernet Hub and Computer with RJ-45 Ethernet port** Disclosures *** Type CM: Cables may be used within a single floor, i.e. in the horizontal run. May not be used to penetrate floors or ceilings, nor used in air handling spaces. More ...
Columbus and the Age of DiscoveryColumbus and the Age of Discovery This informative CD-ROM explains what Europeans knew of world geography before his voyage to the New World, beginning with the discoveries made by Alexander the Great and other ancient explorers. Windows 95/98/ME/NT/2000/XP and Mac More ...
6-Piece 5.1 Channel Surround Sound Speaker System6-Piece 5.1 Channel Surround Sound Speaker System ** 6-Piece 5.1 Channel Surround Sound Speaker System **Step into surround sound! This MLi-750 includes 5 unique sleek satellite speakers and a powerful subwoofer to project open, spacious sound throughout your room, while adding depth and impact with just the right amount of bass to your favorite games, movies and music! The 6-channel amplifier is ready for Dolby Digital (AC-3) and DTS technology (Dolby and DTS deocder not included). This MLi-750 5.1 channel speaker system is optimized for all DVD players, game consoles, MP3 audio, and PC systems.Enjoy your favorite games, movies and music the way it was meant to be enjoyed with this MLi-750 surroundsound speaker system! Buy it now! General Features:- Silver profile- 5.1 Surround Sound System- Power Supply: Built-in transformer- Seperation: > 90 dB- S/N Ratio: > 85 dBOutput Power (RMS):- Total: 100W- Satellite: 12W per speaker- Center: 12W- Subwoofer: 40WFrequency Response:- Satellite: 200 Hz ~ 20 kHz +/- 3dB- Subwoofer: 40 Hz ~ 300 Hz +/- 3dBSpeaker Unit:- Subwoofer: 5.25" woofer- Front: 3" full range- Rear: 3" full range- Center: 3" full rangeRear Subwoofer Connectors:- 5.1 channel RCA line level inputs- 5 channel speaker outs- Stereo line level RCA input Function Controls:- Subwoofer: Power, LED display- Full Function Remote Control: Power, Master Volume,Bass Volume, Center Volume, Surround Volume, Balance,Mute, Input Selection, Output SelectionDimensions (W x H x D):- Satellite: 3.5" x 6.22" x 4.13" - Center: 3.54" x 6.22" x 4.13"- Subwoofer: 6.30" x 11.81" x 13.78"Power Source:- 120V 60HzRegulatory Approvals:- CERetail Box Includes:- One (1) Subwoofer Speaker- Five (5) Satellite Speakers- Speaker Wires- Remote Control- Owner's ManualNotes:- Model: MLi-750- UPC Code: 7 60498 87500 8 Compatibility/Requirements/Disclosures: ** Requirements *** Available Power Outlet More ...
20 Pack Assorted CD Cases - 2 for $6.9920 Pack Assorted CD Cases - 2 for $6.99 ** 20 Pack Assorted CD Cases - 2 for $6.99 **This 20 Pack CD cases is the ideal storage solution for your data and music collection! Constructed of durable plastic, each has a different color (blue, yellow, transparent clear) to help you categorize your favorite CD!General Features:- 20-pack - Durable plastic CD case- Assorted colors in blue, yellow, and transparent clear- Easy snap to close featureNotes:- CD cases only Compatibility/Requirements/Disclosures:** Requirements *** The need for this item More ...
|
