Unification in logic programming

Industry

CPC
G06F9/4438

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F9/00Arrangements for programme control

Current Industry

G06F9/4438Unification in logic programming

Industries

Patents Grantslast 30 patents

Information Patent Grant
Systems and methods for declarative applications
- Patent number 9,904,519
- Issue date Feb 27, 2018
- Veeral Bharatia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method for expanding the scope of systems management...
- Patent number 9,892,029
- Issue date Feb 13, 2018
- International Business Machines Corporation
- Praveen S. Chappalgaon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for declarative applications
- Patent number 9,760,341
- Issue date Sep 12, 2017
- Veeral Bharatia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unified state transition table describing a state machine model
- Patent number 9,600,241
- Issue date Mar 21, 2017
- The MathWorks, Inc.
- Siddhartha Shankar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for declarative applications
- Patent number 9,116,716
- Issue date Aug 25, 2015
- Veeral Bharatia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient automated translation of procedures in an constraint-base...
- Patent number 8,972,950
- Issue date Mar 3, 2015
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Solving constraint satisfaction problems having loosely interconnec...
- Patent number 8,826,075
- Issue date Sep 2, 2014
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient automated translation of procedures in constraint-based l...
- Patent number 8,214,795
- Issue date Jul 3, 2012
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-sequential computer for real-time applications
- Patent number 6,094,714
- Issue date Jul 25, 2000
- The Secretary of State for Defence in Her Britannic Majesty's Government of t...
- Jonathan Roe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coupling rules to an object-oriented program
- Patent number 5,644,770
- Issue date Jul 1, 1997
- Texas Instruments Incorporated
- Fred H. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Architecture for a computer system used for processing knowledge
- Patent number 5,465,319
- Issue date Nov 7, 1995
- AT&T Corp.
- Syed V. Ahamed
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Expert system compilation method
- Patent number 5,442,792
- Issue date Aug 15, 1995
- Hughes Aircraft Company
- Robert K. Chun
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coupling rules to an object-oriented program
- Patent number 5,423,041
- Issue date Jun 6, 1995
- Texas Instruments Incorporated
- Fred H. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Knowledge information processing system including two associative m...
- Patent number 5,418,886
- Issue date May 23, 1995
- Mitsubishi Denki Kabushiki Kaisha
- Masaya Oita
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Prolog interrupt processing
- Patent number 5,396,632
- Issue date Mar 7, 1995
- International Business Machines Corporation
- Marc J. L. Gillet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Prolog addressing
- Patent number 5,386,520
- Issue date Jan 31, 1995
- International Business Machines Corporation
- Marc J. L. Gillet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inference processor using data consistency holder
- Patent number 5,301,260
- Issue date Apr 5, 1994
- Matsushita Electric Industrial, Co., Ltd.
- Kazuo Miyashita
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for eliminating operation codes from intermediate...
- Patent number 5,274,820
- Issue date Dec 28, 1993
- International Business Machines Corporation
- Marc J. L. Gillet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Communication between prolog and an external process
- Patent number 5,274,821
- Issue date Dec 28, 1993
- International Business Machines Corporation
- Gilbert J. A. Rouquie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method enabling a compiled program to exactly recreat...
- Patent number 5,249,275
- Issue date Sep 28, 1993
- Texas Instruments Incorporated
- Aditya Srivastava
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for implementing a concurrent logic program
- Patent number 5,222,221
- Issue date Jun 22, 1993
- Yeda Research and Development Co., Ltd.
- Avshalom Houri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining whether data signals of a first set are rela...
- Patent number 5,109,523
- Issue date Apr 28, 1992
- Hitachi, Ltd.
- Yasusi Kanada
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer system having delayed save on procedure calls
- Patent number 5,016,164
- Issue date May 14, 1991
- Texas Instruments Incorporated
- Aditya Srivastava
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and a system for processing logic programs
- Patent number 4,931,931
- Issue date Jun 5, 1990
- European Computer-Industry Research Centre GmbH
- Jean-Claude Syre
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for comparing strings using hash values
- Patent number 4,899,128
- Issue date Feb 6, 1990
- Yeda Research and Development Co., Ltd.
- Ehud Y. Shapiro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data processor provided with instructions which refer to both tagge...
- Patent number 4,896,258
- Issue date Jan 23, 1990
- Hitachi, Ltd.
- Shinichiro Yamaguchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for concurrent logic program
- Patent number 4,775,934
- Issue date Oct 4, 1988
- Yeda Research and Development Co.
- Avshalom Houri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Prolog processing system
- Patent number 4,546,432
- Issue date Oct 8, 1985
- NEC Corporation
- Mamoru Umemura
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CONFIGURABLE DIGITAL SIGNAL PROCESSOR FRACTURING AND MACHINE LEARNI...
- Publication number 20190108040
- Publication date Apr 11, 2019
- Micron Technology, Inc.
- Gregory Edvenson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTELLIGENT GRAPHICS DISPATCHING MECHANISM
- Publication number 20180308197
- Publication date Oct 25, 2018
- Intel Corporation
- Balaji Vembu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
- Publication number 20180246703
- Publication date Aug 30, 2018
- GENERAL ELECTRIC COMPANY
- Liling REN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD FOR EXPANDING THE SCOPE OF SYSTEMS MANAGEMENT...
- Publication number 20180067846
- Publication date Mar 8, 2018
- International Business Machines Corporation
- Praveen S. Chappalgaon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR DECLARATIVE APPLICATIONS
- Publication number 20170315783
- Publication date Nov 2, 2017
- Veeral BHARATIA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR DECLARATIVE APPLICATIONS
- Publication number 20130346943
- Publication date Dec 26, 2013
- Veeral BHARATIA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL
- Publication number 20130290925
- Publication date Oct 31, 2013
- The MathWorks, Inc.
- Siddhartha Shankar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOLVING CONSTRAINT SATISFACTION PROBLEMS HAVING LOOSELY INTERCONNEC...
- Publication number 20130219215
- Publication date Aug 22, 2013
- International Business Machines Corporation
- Yoav Katz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient Automated Translation of Procedures in an Constraint-Base...
- Publication number 20120260238
- Publication date Oct 11, 2012
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient automated translation of procedures in an constraint-base...
- Publication number 20100131936
- Publication date May 27, 2010
- OptumSoft, Inc.
- David R. Cheriton
- G06 - COMPUTING CALCULATING COUNTING

Unification in logic programming

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Systems and methods for declarative applications

Apparatus and method for expanding the scope of systems management...

Systems and methods for declarative applications

Unified state transition table describing a state machine model

Systems and methods for declarative applications

Efficient automated translation of procedures in an constraint-base...

Solving constraint satisfaction problems having loosely interconnec...

Efficient automated translation of procedures in constraint-based l...

Multi-sequential computer for real-time applications

Coupling rules to an object-oriented program

Architecture for a computer system used for processing knowledge

Expert system compilation method

Coupling rules to an object-oriented program

Knowledge information processing system including two associative m...

Prolog interrupt processing

Prolog addressing

Inference processor using data consistency holder

Method and system for eliminating operation codes from intermediate...

Communication between prolog and an external process

Apparatus and method enabling a compiled program to exactly recreat...

Method and apparatus for implementing a concurrent logic program

Method for determining whether data signals of a first set are rela...

Computer system having delayed save on procedure calls

Method and a system for processing logic programs

Method and apparatus for comparing strings using hash values

Data processor provided with instructions which refer to both tagge...

Method for concurrent logic program

Prolog processing system

Patents Applicationslast 30 patents

CONFIGURABLE DIGITAL SIGNAL PROCESSOR FRACTURING AND MACHINE LEARNI...

INTELLIGENT GRAPHICS DISPATCHING MECHANISM

SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING

APPARATUS AND METHOD FOR EXPANDING THE SCOPE OF SYSTEMS MANAGEMENT...

SYSTEMS AND METHODS FOR DECLARATIVE APPLICATIONS

SYSTEMS AND METHODS FOR DECLARATIVE APPLICATIONS

UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL

SOLVING CONSTRAINT SATISFACTION PROBLEMS HAVING LOOSELY INTERCONNEC...

Efficient Automated Translation of Procedures in an Constraint-Base...

Efficient automated translation of procedures in an constraint-base...