FR2616244B1 - Systeme pour traiter des donnees en utilisant un langage logique - Google Patents
Systeme pour traiter des donnees en utilisant un langage logiqueInfo
- Publication number
- FR2616244B1 FR2616244B1 FR8807451A FR8807451A FR2616244B1 FR 2616244 B1 FR2616244 B1 FR 2616244B1 FR 8807451 A FR8807451 A FR 8807451A FR 8807451 A FR8807451 A FR 8807451A FR 2616244 B1 FR2616244 B1 FR 2616244B1
- Authority
- FR
- France
- Prior art keywords
- processing data
- logical language
- language
- logical
- data
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/313—Logic programming, e.g. PROLOG programming language
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99931—Database or file accessing
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99951—File or database maintenance
- Y10S707/99952—Coherency, e.g. same view to multiple users
- Y10S707/99953—Recoverability
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Computing Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP62139338A JPS63303433A (ja) | 1987-06-03 | 1987-06-03 | 論理型言語のデ−タベ−ス方式 |
JP62184074A JPS6426937A (en) | 1987-07-23 | 1987-07-23 | Execution system for logical language |
Publications (2)
Publication Number | Publication Date |
---|---|
FR2616244A1 FR2616244A1 (fr) | 1988-12-09 |
FR2616244B1 true FR2616244B1 (fr) | 1990-12-14 |
Family
ID=26472176
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR8807451A Expired - Fee Related FR2616244B1 (fr) | 1987-06-03 | 1988-06-03 | Systeme pour traiter des donnees en utilisant un langage logique |
Country Status (3)
Country | Link |
---|---|
US (1) | US5129081A (fr) |
KR (1) | KR920002853B1 (fr) |
FR (1) | FR2616244B1 (fr) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5787432A (en) * | 1990-12-06 | 1998-07-28 | Prime Arithmethics, Inc. | Method and apparatus for the generation, manipulation and display of data structures |
US5615359A (en) * | 1994-06-23 | 1997-03-25 | Candle Distributed Solutions, Inc. | Data server with data probes employing predicate tests in rule statements |
EP2270687A2 (fr) * | 1995-04-11 | 2011-01-05 | Kinetech, Inc. | Identification de données dans un système de traitement de données |
US5781703A (en) * | 1996-09-06 | 1998-07-14 | Candle Distributed Solutions, Inc. | Intelligent remote agent for computer performance monitoring |
US6701516B1 (en) * | 1998-05-21 | 2004-03-02 | Qifang Li | P++ software |
US8185576B2 (en) | 2006-03-14 | 2012-05-22 | Altnet, Inc. | Filter for a distributed network |
US10333696B2 (en) | 2015-01-12 | 2019-06-25 | X-Prime, Inc. | Systems and methods for implementing an efficient, scalable homomorphic transformation of encrypted data with minimal data expansion and improved processing efficiency |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4648044A (en) * | 1984-06-06 | 1987-03-03 | Teknowledge, Inc. | Basic expert system tool |
US4748439A (en) * | 1985-08-13 | 1988-05-31 | Fairchild Semiconductor Corporation | Memory apparatus and method for retrieving sequences of symbols including variable elements |
US4787035A (en) * | 1985-10-17 | 1988-11-22 | Westinghouse Electric Corp. | Meta-interpreter |
US4774661A (en) * | 1985-11-19 | 1988-09-27 | American Telephone And Telegraph Company, At&T Information Systems | Database management system with active data dictionary |
US4868763A (en) * | 1986-02-21 | 1989-09-19 | Hitachi, Ltd. | Knowledge-based system having plural processors |
US4775934A (en) * | 1986-06-17 | 1988-10-04 | Yeda Research And Development Co. | Method for concurrent logic program |
US4864497A (en) * | 1988-04-13 | 1989-09-05 | Digital Equipment Corporation | Method of integrating software application programs using an attributive data model database |
-
1988
- 1988-05-26 KR KR1019880006174A patent/KR920002853B1/ko not_active IP Right Cessation
- 1988-06-03 FR FR8807451A patent/FR2616244B1/fr not_active Expired - Fee Related
-
1990
- 1990-09-06 US US07/579,249 patent/US5129081A/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US5129081A (en) | 1992-07-07 |
KR890002772A (ko) | 1989-04-11 |
FR2616244A1 (fr) | 1988-12-09 |
KR920002853B1 (ko) | 1992-04-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
FR2686175B1 (fr) | Systeme de traitement de donnees multiprocesseur. | |
FR2544154B1 (fr) | Systeme de transmission des donnees pour des flutes sismiques | |
EP0320607A3 (en) | Multiprocessor system featuring global data duplication | |
BE883958A (fr) | Processeur microprogramme pour un systeme de traitement de donnees rapide | |
ATE170996T1 (de) | Fehlertolerantes datenverarbeitungssystem | |
BE873220A (fr) | Systeme de traitement de donnees, modulaire et a configuration multiple, integre a un systeme de pre-traitement | |
FR2670084B1 (fr) | Systeme de retenue pour un animal. | |
FR2426937B1 (fr) | Systeme de traitement de donnees | |
EP0425168A3 (en) | An information searching system for image data | |
FR2449311B1 (fr) | Systeme de traitement de donnees | |
IT1206331B (it) | Architettura di sistema di elaborazione dati. | |
JPS5714924A (en) | Clock system for data processing system | |
DE3781892T2 (de) | Datenverarbeitungsanlage zur automatischen veraenderung von datenformaten. | |
FR2636188B1 (fr) | Appareil transpondeur radio pour systeme transpondeur | |
FR2412889B1 (fr) | Systeme de traitement de donnees | |
FR2456974B1 (fr) | Systeme de traitement de donnees | |
DE3685728T2 (de) | Geraet zur bilddatenverarbeitung. | |
FR2456975B1 (fr) | Systeme de traitement de donnees | |
FR2616244B1 (fr) | Systeme pour traiter des donnees en utilisant un langage logique | |
FR2506952B1 (fr) | Systeme pour classer des donnees sismiques dans des prospections marines | |
FR2535561B3 (fr) | Systeme de traitement de signaux video | |
FR2637708B1 (fr) | Dispositif pour le traitement de donnees | |
FR2342526A1 (fr) | Dispositif de transmetteur-recepteur pour systeme de traitement d'information | |
FR2436444B1 (fr) | Systeme de multitraitement de donnees | |
FR2631139B1 (fr) | Systeme permettant de produire des donnees de commande |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
D6 | Patent endorsed licences of rights | ||
ST | Notification of lapse |