Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Meta Programming/Programming Paradigm/Declarative Programming/
Logic Oriented Programming
Search

Logic Oriented Programming

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2020 Mar 31 2:4
Editor
Editor
Seonglae ChoSeonglae Cho
Edited
Edited
2025 Aug 19 10:51
Refs
Refs
Logic
Logic

Separation of Logic and Control

The logic (Facts + Rules) in logic programming is almost identical to the logic discussed in philosophy
  • Abductive logic
  • Answer set
  • Concurrent logic
  • Functional logic
  • Inductive logic
 
 
Beyond Booleans — overreacted
What is the type of 2 + 2 = 4?
Beyond Booleans — overreacted
https://overreacted.io/beyond-booleans/
Beyond Booleans — overreacted
객체지향 시스템과 패러다임 그리고 철학
자바스크립트는 왜 프로토타입을 선택했을까 라는 글을 읽고 떠오르는 내용들을 덧붙이거나 정리 해보았습니다. 원글과는 접근법이 좀 다르며, 기획이 아닌 급하게 쓴 글이라 의식의 흐름 사이에서 표류합니다 ㅠㅠㅠ 빠른요약 클래스와 프로토타입의 가장 커다란 차이는 객체 생성 방식 [클래스 -> 인스턴스 vs 객체 -> 복사된 객체]. 가장 큰 공통점은 객체지향이며, 프로그램을 객체라는 단위로 나누고 상호작용하게 하는 것.
객체지향 시스템과 패러다임 그리고 철학
https://black7375.tistory.com/86
객체지향 시스템과 패러다임 그리고 철학
 
 

Recommendations

Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Meta Programming/Programming Paradigm/Declarative Programming/
Logic Oriented Programming
Copyright Seonglae Cho