Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.

Computer science --- Prolog (Computer program language) --- 681.3*D25 --- Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) --- Theses --- 681.3*D25 Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) --- Debugging in computer science --- Computer programs --- Troubleshooting in computer science --- Data editing --- Electronic data processing --- Debugging --- Testing --- Software failures --- Debugging in computer science. --- COMPUTER SCIENCE/General

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Prolog (computer program language) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Prolog (Computer program language) --- 681.3*D32 --- 681.3*I25 --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Prolog (Computer program language). --- PROLOG (Langage de programmation)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*D1 --- 681.3*F1 --- Programming techniques--See also {681.3*E} --- Computation by abstract devices --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F1 Computation by abstract devices --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming --- Computer science --- 681.3*D3 --- 681.3*F3 --- 681.3*I23 --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- Programming languages --- Logic design. --- Artificial intelligence. --- Logics and Meanings of Programs. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory