Back to Results
First PageMeta Content
Logic programming / Prolog / Logic in computer science / Qi / Append / Horn clause / Clause / Visual Prolog / B-Prolog / Software engineering / Computing / Computer programming


NRL ReportExecuting Trace Specifications Using Prolog JOHN D. MCLEAN, DAVID M. WEISS, AND CARL E. LANDWEHR
Add to Reading List

Document Date: 2014-08-18 19:00:04

Open Document

File Size: 605,69 KB

Share Result on Facebook

City

Washington / DC / Arlington / /

Company

Naval Research Laboratory / Call S a / /

Currency

BSD / /

Facility

NAVAL RESEARCH LABORATORY / /

IndustryTerm

infinite search / software specification / important tool / depth-first search / software tools / /

NaturalFeature

BoyerMoore Theorem Prover fall / /

OperatingSystem

Unix / L3 / BSD / /

Organization

Herbrand Universe / Federal Trade Commission / office of Naval Research / NAVAL RESEARCH LABORATORY Washington / WORK UNIT / /

Person

DAVID M. WEISS / John D. McLean / CARL E. LANDWEHR / /

/

Position

Prolog interpreter / head / programmer / /

Product

Prolog / /

ProgrammingLanguage

SNOBOL / Prolog / Fortran / Pascal / L / /

ProvinceOrState

Virginia / /

Technology

Unix operating system / Unix / /

SocialTag