Difference between r1.4 and the current
@@ -4,9 +4,17 @@
Boolean_atom =,Boolean_atom .
WtEn:Boolean_atom = https://en.wiktionary.org/wiki/Boolean_atom
// chemistry / physics
[[원자,atom]]
// Lisp
WtEn:Boolean_atom = https://en.wiktionary.org/wiki/Boolean_atom
urelement 를 '''atom''' 혹은 individual이라 하기도 한다.
WpEn:Urelement
WtEn:urelement
MathWorld:Urelement
// [[순서론,order_theory]]
[[WpEn:Atom_(order_theory)]] = https://en.wikipedia.org/wiki/Atom_(order_theory)
[[원자,atom]]
atomic_mass =,atomic_mass . atomic_mass { }
atomic_mass =,atomic_mass . atomic_mass { WtEn:atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> [[원자질량단위,atomic_mass_unit(amu)]]// Lisp
@@ -15,4 +23,40 @@
https://en.wikipedia.org/wiki/Lisp_(programming_language)#Atoms
// Prolog
// Prolog
[[프롤로그,Prolog]] .... [[프롤로그,prologue]] (opp [[에필로그,epilogue]]) 가 있는데 alt. pagename?
{
Cmp: [[Datalog]] =,Datalog =,Datalog . Datalog
{
https://en.wikipedia.org/wiki/Datalog
...
Ndict:Datalog
Ggl:Datalog
}
Up: [[logic_programming_language]] =,logic_programming_language =,logic_programming_language . logic_programming_language
{
Up: [[logic_programming]] - curr at [[로직,logic?action=highlight&value=logic_programming#s-2.4]] at 2023-11-17
}
[[WpKo:프롤로그_(프로그래밍_언어)]] = https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
...
Ndict:프롤로그
Bing:프롤로그
Ggl:프롤로그
}
의 atom:
[[WpKo:프롤로그_(프로그래밍_언어)#아톰(Atom)]]
[[WpEn:Prolog#Data_types]] 즉 [[data_type]](cur. page [[타입,type]])의 하나.
// atom말고 Atom - [[syndication_format]] =,syndication_format =,syndication_format . syndication_format { NdEn:syndication ... WtEn:syndication_format Ndict:syndication+format Ggl:syndication+format }
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
----
Rel. [[원자성,atomicity]]
----
https://everything2.com/title/atom
// logic
atomic_formula =,atomic_formula -> 원자식,atom (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see 원자식,atom 맨 아래
Boolean_atom =,Boolean_atom .
urelement 를 atom 혹은 individual이라 하기도 한다.
// 순서론,order_theory
Atom_(order_theory) = https://en.wikipedia.org/wiki/Atom_(order_theory)
atomic_formula =,atomic_formula -> 원자식,atom (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see 원자식,atom 맨 아래
Boolean_atom =,Boolean_atom .
urelement 를 atom 혹은 individual이라 하기도 한다.
// 순서론,order_theory
Atom_(order_theory) = https://en.wikipedia.org/wiki/Atom_(order_theory)
// chemistry / physics
원자,atom
atomic_mass =,atomic_mass . atomic_mass { atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> 원자질량단위,atomic_mass_unit(amu)
원자,atom
atomic_mass =,atomic_mass . atomic_mass { atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> 원자질량단위,atomic_mass_unit(amu)
Cmp: Datalog =,Datalog =,Datalog . Datalog
{
https://en.wikipedia.org/wiki/Datalog
...
Datalog
Datalog
}
{
https://en.wikipedia.org/wiki/Datalog
...
Datalog
Datalog
}
Up: logic_programming_language =,logic_programming_language =,logic_programming_language . logic_programming_language
{
Up: logic_programming - curr at 로직,logic?action=highlight&value=logic_programming#s-2.4 at 2023-11-17
}
{
Up: logic_programming - curr at 로직,logic?action=highlight&value=logic_programming#s-2.4 at 2023-11-17
}
프롤로그_(프로그래밍_언어) = https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
...
프롤로그
프롤로그
프롤로그
}
의 atom:
// atom말고 Atom - syndication_format =,syndication_format =,syndication_format . syndication_format { syndication ... syndication_format syndication format syndication format }
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
...
프롤로그
프롤로그
프롤로그
}
의 atom:
// atom말고 Atom - syndication_format =,syndication_format =,syndication_format . syndication_format { syndication ... syndication_format syndication format syndication format }
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
Rel. 원자성,atomicity