수학 :: 논리 :: 술어

MATH :: LOGIC :: FROENCE는 술어 주장 데이터베이스를 관리하고 쿼리하는 PERL 모듈입니다.
지금 다운로드

수학 :: 논리 :: 술어 순위 및 요약

광고

  • Rating:
  • 특허:
  • Perl Artistic License
  • 가격:
  • FREE
  • 게시자 이름:
  • Luke Palmer
  • 게시자 웹사이트:
  • http://search.cpan.org/~lpalmer/Symbol-Opaque-0.03/lib/Symbol/Opaque.pm

수학 :: 논리 :: 술어 태그


수학 :: 논리 :: 술어 설명

Math :: logic :: 술어는 술어 주장 데이터베이스를 관리하고 쿼리하는 Perl 모듈입니다. Math :: logic :: 술어는 술어 주장 데이터베이스를 관리하고 쿼리하는 Perl 모듈입니다 .Synopsis는 Math :: Logic :: Prormicate; $ db = 새로운 수학 :: logic :: 술어; # $ DB-> ADD ( 'SMART (_)')를 데이터베이스에 입력하십시오. # 쿼리 $ 쿼리 = $ DB-> 구문 분석 ( '인간 (h) 및 이름 (h, x)?' ); $ iter = $ DB-> 일치 ($ 쿼리, $ iter); # 결과 가져 오기 $ name = $ db-> get ($ iter, 'x'); # 규칙 $ db-> 추가 ( 'Human_Name (h, n) : = 인간 (h) 및 이름 (h, n).'); 쿼리 $ iter = $ db-> 일치 ( 'human_name (lister, n))에서 그것을 사용하십시오. # 저장 가능한 파일 사용 가능; 저장 ($ db-> 규칙, 'red_dwarf'); 요구 사항 : · Perl.


수학 :: 논리 :: 술어 관련 소프트웨어

회사 소개